„Model-checking“

Suchergebnisse

1.904 Treffer

• Reachability switching games
  Fearnley, John ; Gairing, Martin ; Mnich, Matthias ; Savani, And Rahul 2021 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• Directed model checking with distance-preserving abstractions
  Dräger, Klaus ; Finkbeiner, Bernd ; Podelski, Andreas
• Testing of software and communication systems – 21st IFIP WG 6.1 international conference ; proceedings
  Núñez, Manuel 2009 Springer
• 25 years of model checking – history, achievements, perspectives ; [Festschrift]
  Grumberg, Orna 2008 Springer
• Tests and proofs – first international conference ; revised papers
  Gurevich, Yuri 2007 Springer
• Tools and algorithms for the construction and analysis of systems – 13th international conference ; proceedings
  Grumberg, Orna 2007 Springer
• Automated technology for verification and analysis – 4th international symposium ; proceedings
  Graf, Susanne 2006 Springer
• Bounded model checking of pointer programs
  Charatonik, Witold ; Georgieva, Lilia ; Maier, Patrick 2005 MPI Informatik, Bibliothek & Dokumentation
• Verification of real-time systems through lazy approximations
  Sorea, Maria
• Consistency management of object-oriented behavioral models
  Küster, Jochen M.
• Abstract state machines 2004 – advances in theory and practice ; 11th international workshop ; proceedings
  Zimmermann, Wolf 2004 Springer
• Integrated formal methods – 4th international conference ; proceedings
  Boiten, Eerke 2004 Springer
• Model checking software – proceedings
  Graf, Susanne 2004 Springer
• Tools and algorithms for the construction and analysis of systems – 10th international conference ; proceedings
  Jensen, Kurt 2004 Springer
• Abstract state machines – theory and applications ; international workshop ; proceedings
  Gurevich, Yuri 2000 Springer
• Automatic verification of sequential infinite state processes
  Burkart, Olaf 1997 Springer
• Causal Reasoning for Safety in Hennessy Milner Logic
  Caltais, Georgiana ; Mousavi, Mohammad Reza ; Singh, Hargurbir 2020 KOPS Universität Konstanz
• Automatic verification of behavior preservation at the transformation level for relational model transformation
  Dyck, Johannes ; Giese, Holger ; Lambers, Leen 2017 Universität Potsdam
• Ingenieurgerechte formale Methoden für die Entwicklung von sicheren Automatisierungssystemen
  Moik, Adam 2002 Shaker
• Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models
  Mahdi, Ahmed ; Fränzle, Martin ; Becker, Bernd ; Theel, Oliver 2017 BIS der Universität Oldenburg