Computer Aided Verification
From MaRDI portal
Publication:5312912
DOI10.1007/b98490zbMath1103.68070OpenAlexW4298302743MaRDI QIDQ5312912
M. Saxena, Marcus Nilsson, Julien d'Orso, Parosh Aziz Abdulla, Bengt Jonsson
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Regular model checking with regular relations ⋮ Model Checking Parameterized Systems ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ Verification of graph grammars using a logical approach ⋮ Tree regular model checking: a simulation-based approach ⋮ On Verifying Fault Tolerance of Distributed Protocols ⋮ Temporal Verification of Fault-Tolerant Protocols ⋮ Graph Logics with Rational Relations ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables