„Model Checking“

Suchergebnisse

1.904 Treffer

• Directed model checking – 06172 abstracts collection ; Dagstuhl seminar
  Edelkamp, Stefan ; Leue, Stefan ; Visser, Willem 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Efficient software model checking of data structure properties
  Darga, Paul ; Boyapati, Chandrasekhar 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Reduction methods for probabilistic model checking
  Größer, Marcus Thomas
• Quality of software architectures – models and architectures ; proceedings
  Becker, Steffen 2008 Springer
• Formal methods and software engineering – proceedings
  Liu, Shaoying 2008 Springer
• Model-based scenario testing and model checking with applications in the railway domain
  Löding, Helge
• Automated technology for verification and analysis – 6th international symposium ; proceedings
  Cha, Sungdeok 2008 Springer
• Model checking via delayed duplicatedetection on the GPU
  Edelkamp, Stefan ; Sulewski, Damian 2008 Dekanat Informatik, Univ.
• 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]
• Formal modeling and analysis of timed systems – 6th international conference ; proceedings
  Cassez, Franck 2008 Springer
• 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
• Flash efficient LTL model checking with minimal counterexamples
  Edelkamp, Stefan ; Sulewski, Damian 2008 Dekanat Informatik, Univ.
• 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