„Model-checking“

Suchergebnisse

1.904 Treffer

• Leveraging applications of formal methods, verification and validation
  2014 Springer
• Leveraging applications of formal methods, verification and validation
  2014 Springer
• Symbolic Object Code Analysis
  Mühlberg, Jan Tobias ; Lüttgen, Gerald 2010 Otto-Friedrich-Universität Bamberg
• 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
• Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
  Wedler, Markus
• Enhancing symbolic model checking by AI techniques
  Buccafurri, Francesco ; Eiter, Thomas ; Gottlob, Georg ; Leone, Nicola 1998 Universitätsbibliothek
• Formal modeling and analysis of timed systems – 4th international conference ; proceedings
  Asarin, Eugene 2006 Springer
• TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
  Helmstetter, Claude
• Symbolic on-the-fly analysis of stochastic Petri nets
  Schwarick, Martin
• CONCUR 2014 – Concurrency Theory – 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
  2014 Springer Berlin Heidelberg
• Formal methods – proceedings
  Misra, Jayadev 2006 Springer
• Unmasking fault tolerance – quantifying deterministic recovery dynamics in probabilistic environments
  Müllner, Nils Henning
• Testing software and systems – 26th IFIP WG 6.1 international conference ; proceedings
  Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer
• Reasoning about Hyperproperties
  Milushev, Dimiter Vladimirov 2014 Scholars' Press
• Satisfiability and model checking in team based logics
  Müller, Julian-Steffen 2014 Cuvillier
• Liveness checking as safety checking to find shortest counterexamples to linear time properties
  Schuppan, Viktor 2006 Verl. Dr. Hut
• Concurrency theory – 25th international conference ; proceedings
  Baldan, Paolo 2014 Springer