Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68070OpenAlexW4298302743MaRDI QIDQ5312912FDOQ5312912

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

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.

Mathematics Subject Classification ID

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

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)