Algorithmic improvements in regular model checking.

DOI10.1007/B11831MaRDI QIDQ5900681zbMATH OpenOpenAlexFDO

Authors Parosh A. Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso

Publication date 20 April 2010

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1670791
• scientific article; zbMATH DE number 1927558
• CONCUR 2004 - Concurrency Theory
• Tree regular model checking: a simulation-based approach
• Regular model checking revisited

Cited in

(20)

• Don't care words with an application to the automata-based approach for real addition
• Tree regular model checking: a simulation-based approach
• Learning to verify branching time properties
• scientific article; zbMATH DE number 1670791 (Why is no real title available?)
• Regular model checking using inference of regular languages
• Algorithmic algebraic model checking. III: Approximate methods
• Efficiency of automata in semi-commutation verification techniques
• Learning Meets Verification
• scientific article; zbMATH DE number 1903379 (Why is no real title available?)
• scientific article; zbMATH DE number 1903380 (Why is no real title available?)
• Regular model checking using widening techniques
• Bounded communication reachability analysis of process rewrite systems with ordered parallelism
• Tools and Algorithms for the Construction and Analysis of Systems
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• Systematic Acceleration in Regular Model Checking
• On Verifying Fault Tolerance of Distributed Protocols
• Model checking, synthesis, and learning
• Regular model checking: evolution and perspectives
• Regular model checking revisited

This page was built for publication: Algorithmic improvements in regular model checking.

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