Model Checking Software

DOI10.1007/11691617zbMath1178.68339OpenAlexW2480617525MaRDI QIDQ5899033

Stefan Edelkamp, Shahid Jabbar

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691617

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Automata-driven partial order reduction and guided search for LTL model checking, Flash memory efficient LTL model checking, Semi-external LTL Model Checking, On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties, Directed Model Checking for B: An Evaluation and New Techniques, Survey on Directed Model Checking, Operational Accepting State Complexity: The Unary and Finite Case, Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking, Design and Engineering of External Memory Traversal Algorithms for General Graphs, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Distributed Verification of Multi-threaded C++ Programs