„Model-checking“

Suchergebnisse

1.904 Treffer

• Verification, model checking, and abstract interpretation – 9th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Modeling the unknown using quantification
  Miller, Christian 2014 Der Andere Verl.
• Formal methods and software engineering – proceedings
  Butler, Michael 2007 Springer
• Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checking
  Schäfer, Ingo 2007 dissertation.de
• Formal modeling and analysis of timed systems – 5th international conference ; proceedings
  Raskin, Jean-François 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
• Verification of infinite state systems using Presburger arithmetic
  Schüle, Tobias 2007 Verl. Dr. Hut
• The complexity of hybrid logics over restricted frame classes
  Schneider, Thomas 2007 Cuvillier
• Model checking and artificial intelligence – 4th workshop ; revised selected and invited papers
  Edelkamp, Stefan 2007 Springer
• Abstraction, reformulation, and approximation – 7th international symposium ; proceedings
  Miguel, Ian 2007 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
• A formal fault model for component based models of embedded systems
  Fischer, Marco 2007 TUDpress
• Model checking for energy efficient scheduling in wireless sensor networks
  Schmitt, Peter H. ; Werner, Frank 2007 Univ., Fak. für Informatik, Bibliothek
• Hybrid multiagent systems with timed synchronization-specification and model checking
  Furbach, Ulrich 2007 Inst. für Informatik
• Model-Based Safety and Assessment – 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings
  2014 Springer International Publishing
• Quality of software architectures – revised papers
  Hofmeister, Christine 2006 Springer