Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)

DOI10.1007/978-3-540-71209-1_56MaRDI QIDQ5758139zbMATH OpenOpenAlexFDO

Authors Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine, Parosh A. Abdulla

Publication date 3 September 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71209-1_56

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
• scientific article; zbMATH DE number 1670791
• Systematic Acceleration in Regular Model Checking
• scientific article; zbMATH DE number 2081102
• CONCUR 2004 - Concurrency Theory

Cited in

(28)

• Cardinality constraints for arrays (decidability results and applications)
• Checking deadlock-freedom of parametric component-based systems
• Higher-order quantifier elimination, counter simulations and fault-tolerant systems
• Computing parameterized invariants of parameterized Petri nets
• Parameterized model checking on the TSO weak memory model
• Verification of component-based systems with recursive architectures
• Parameterized Model Checking of Token-Passing Systems
• Model checking parameterized systems
• Monotonic Abstraction for Programs with Dynamic Memory Heaps
• Towards SMT Model Checking of Array-Based Systems
• MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
• Automatic Verification of Directory-Based Consistency Protocols
• scientific article; zbMATH DE number 2081102 (Why is no real title available?)
• scientific article; zbMATH DE number 1796142 (Why is no real title available?)
• scientific article; zbMATH DE number 2086592 (Why is no real title available?)
• Monotonic abstraction in parameterized verification
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Computing Parameterized Invariants of Parameterized Petri Nets
• Light-weight SMT-based model checking
• View abstraction -- a tutorial (invited paper)
• On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
• Systematic Acceleration in Regular Model Checking
• Handling Parameterized Systems with Non-atomic Global Conditions
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Monotonic Abstraction in Action
• MCMT: a model checker modulo theories
• Regular model checking: evolution and perspectives
• Regular model checking upside-down: an invariant-based approach

This page was built for publication: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)

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