Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312912zbMATH OpenOpenAlexFDO

Authors Marcus Nilsson, Julien d'Orso, Mayank Saksena, Parosh A. 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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1670791
• Regular model checking revisited
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 2081102
• Algorithmic improvements in regular model checking.

Cited in

(10)

• Temporal Verification of Fault-Tolerant Protocols
• Verification of graph grammars using a logical approach
• Regular model checking with regular relations
• Tree regular model checking: a simulation-based approach
• Parameterized verification of leader/follower systems via first-order temporal logic
• Graph logics with rational relations: the role of word combinatorics
• On Verifying Fault Tolerance of Distributed Protocols
• Model checking parameterized systems
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• Model checking systems and specifications with parameterized atomic propositions

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312912)