„Software model checking“

Suchergebnisse

732 Treffer

• Quality of software architectures – models and architectures ; proceedings
  Becker, Steffen 2008 Springer
• Formal methods and software engineering – proceedings
  Liu, Shaoying 2008 Springer
• Automated technology for verification and analysis – 6th international symposium ; proceedings
  Cha, Sungdeok 2008 Springer
• Software verification: infinite state model checking and static program analysis – 06081 abstracts collection ; Dagstuhl seminar
  Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Software verification: infinite state model checking and static program analysis – Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
  Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Theoretical aspects of computing – 5th international colloquium ; proceedings
  Fitzgerald, John S. 2008 Springer
• Formalization and Model Checking of Software Architectural Style
  Dwivedi, Ashish Kumar 2015 LAP LAMBERT Academic Publishing
• Model checking software – proceedings
  Havelund, Klaus 2008 Springer
• Objects, components, models and patterns – 46th international conference, tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008 ; proceedings
  Paige, Richard F. 2008 Springer
• Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008 – [19. - 21. Mai 2008, Dagstuhl]
  Diehl, Malte 2008 GITO
• Testing of software and communicating systems – 20th IFIP TC 6 WG 6.1 international conference ; proceedings
  Suzuki, Kenji 2008 Springer
• Formal methods for industrial critical systems – 12th international workshop ; revised selected papers
  Leue, Stefan 2008 Springer
• Hardware and software: verification and testing – proceedings
  Yorav, Karen 2008 Springer
• Formal methods and software engineering – proceedings
  Butler, Michael 2007 Springer
• Theoretical aspects of computing – 4th international colloquium ; proceedings
  Jones, Cliff B. 2007 Springer
• Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2015 Springer
• Challenges and applications of assembly level software model checking
  Mehler, Tilman
• Model checking software – proceedings
  Bošnački, Dragan 2007 Springer
• Integrated formal methods – 6th international conference ; proceedings
  Davies, Jim 2007 Springer
• Testing of software and communicating systems – 19th IFIP TC 6 WG 6 1 international conference ; proceedings
  Petrenko, Alexandre 2007 Springer