On (omega-)regular model checking

DOI10.1145/1838552.1838554MaRDI QIDQ2946619zbMATH OpenOpenAlexFDO

Authors Axel Legay, Pierre Wolper

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1838552.1838554

zbMATH Keywords

(Omega-)regular model checkingextrapolationimplementationinfinite-state systemtransducers

Mathematics Subject Classification ID

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

Recommendations

• Iterating transducers in the large (extended abstract)
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1670791
• Tree regular model checking: a simulation-based approach
• Systematic Acceleration in Regular Model Checking

Cited in

(12)

• Regular model checking with regular relations
• Tree regular model checking: a simulation-based approach
• Regular model checking using inference of regular languages
• scientific article; zbMATH DE number 1759636 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
• Automated Technology for Verification and Analysis
• Systematic Acceleration in Regular Model Checking
• Automated Technology for Verification and Analysis
• Relational Methods in Computer Science
• Iterating transducers in the large (extended abstract)
• Regular model checking upside-down: an invariant-based approach

This page was built for publication: On (omega-)regular model checking

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