Regular model checking upside-down: an invariant-based approach

DOI10.46298/LMCS-21(1:4)2025MaRDI QIDQ7034354zbMATH OpenFDO

Authors Javier Esparza, Michael Raskin, Christoph Welzel-Mohr

Publication date 31 January 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(1:4)2025

zbMATH Keywords

finite automataparameterized verificationregular model-checking

Mathematics Subject Classification ID

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

Cites work

• Abduction of trap invariants in parameterized systems
• Checking deadlock-freedom of parametric component-based systems
• Computer Aided Verification
• Computing parameterized invariants of parameterized Petri nets
• CONCUR 2004 - Concurrency Theory
• Constraint-based verification of parameterized cache coherence protocols
• scientific article; zbMATH DE number 1670791 (Why is no real title available?)
• scientific article; zbMATH DE number 1701752 (Why is no real title available?)
• scientific article; zbMATH DE number 1927558 (Why is no real title available?)
• scientific article; zbMATH DE number 1538041 (Why is no real title available?)
• scientific article; zbMATH DE number 1796140 (Why is no real title available?)
• Iterating transducers in the large (extended abstract)
• Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday
• Regular model checking upside-down: an invariant-based approach
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Structural Invariants for the Verification of Systems with Parameterized Architectures

This page was built for publication: Regular model checking upside-down: an invariant-based approach

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