„Software model checking“

Suchergebnisse

732 Treffer

• Quality of software architectures – revised papers
  Hofmeister, Christine 2006 Springer
• Leveraging applications of formal methods, verification and validation
  2014 Springer
• Leveraging applications of formal methods, verification and validation
  2014 Springer
• Proceedings of the international research training groups workshop 2006 – 6 - 8th November 2006, Dagstuhl
  Happe, Jens 2006 Gito
• Formal approaches to software testing and runtime verification – revised selected papers
  Havelund, Klaus 2006 Springer
• Theoretical aspects of computing – third international colloquium ; proceedings
  Barkaoui, Kamel 2006 Springer
• Formal methods and software engineering – proceedings
  Liu, Zhiming 2006 Springer
• Formal methods – proceedings
  Misra, Jayadev 2006 Springer
• Testing software and systems – 26th IFIP WG 6.1 international conference ; proceedings
  Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer
• Formal methods for hardware verification – advanced lectures
  Bernardo, Marco 2006 Springer
• Model checking software – proceedings
  Valmari, Antti 2006 Springer
• Tools and algorithms for the construction and analysis of systems – 12th international conference ; proceedings
  Hermanns, Holger 2006 Springer
• Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling
  Robinson-Mallett, Christopher
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Dependability engineering
  Hasselbring, Wilhelm 2006 GITO
• Integrated formal methods – 5th international conference proceedings
  Romijn, Judi 2005 Springer
• Formal methods and software engineering – proceedings
  Lau, Kung-Kiu 2005 Springer
• Language-specific model checking of UML-RT models
  Zurowska, Karolina ; Dingel, Juergen
• To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking
  Cabodi, G. ; Camurati, P. E. ; Loiacono, C. ; Palena, M. ; Pasini, P. ; Patti, D. ; Quer, S.
• Software model checking for resources race
  Wang, Hong ; Zhang, Tao