Regular model checking for LTL(MSO)

DOI10.1007/978-3-540-27813-9_27MaRDI 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

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

Recommendations

• Regular model checking
• Regular model checking revisited
• A survey of regular model checking
• Beyond regular model checking
• Algorithmic improvements in regular model checking.

Cited in

(10)

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

This page was built for publication: Regular model checking for LTL(MSO)

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