„Software model checking“

Suchergebnisse

732 Treffer

• Software model checking of liveness properties via transition invariants
  Podelski, Andreas ; Rybalchenko, Andrey 2003 MPI Informatik, Bibliothek & Dokumentation
• Technologies for engineering manufacturing systems control in closed loop
  Preuße, Sebastian 2013 Logos-Verl.
• Formal methods and software engineering – proceedings
  Groves, Lindsay 2013 Springer
• Tools and algorithms for the construction and analysis of systems – 9th international conference ; proceedings
  Garavel, Hubert 2003 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Formal techniques in real time and fault tolerant systems – 7th international symposium ; proceedings
  Damm, Werner 2002 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2002 Springer
• Tools and algorithms for the construction and analysis of systems – 8th international conference ; proceedings
  Katoen, Joost-Pieter 2002 Springer
• Theoretical aspects of computing – 10th international colloquium ; proceedings
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• Reachability analysis of multithreaded software with asynchronous communication
  Bouajjani, Ahmed ; Esparza, Javier ; Schwoon, Stefan ; Strejcek, Jan 2005 Universitätsbibliothek der Universität Stuttgart
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Model checking software – proceedings
  Dwyer, Matthew 2001 Springer
• Systems and software verification – model checking techniques and tools
  Bérard, Béatrice 2001 Springer
• A system-theoretic safety engineering approach for software-intensive systems
  Abdulkhaleq, Asim 2017 Cuvillier Verlag
• Structured object-oriented formal language and method – second international workshop ; revised selected papers
  Liu, Shaoying 2013 Springer
• Model checking software – 20th international symposium ; proceedings
  Bartocci, Ezio ; Ramakrishnan, C. R. 2013 Springer