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

DOI10.1007/978-3-540-71209-1_56zbMath1186.68312MaRDI QIDQ5758139

Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine, Parosh Aziz 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

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Monotonic Abstraction in Parameterized Verification, Structural Invariants for the Verification of Systems with Parameterized Architectures, Computing Parameterized Invariants of Parameterized Petri Nets, Unnamed Item, Light-Weight SMT-based 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, 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, Model Checking Parameterized Systems, Monotonic Abstraction for Programs with Dynamic Memory Heaps, Towards SMT Model Checking of Array-Based Systems, Automatic Verification of Directory-Based Consistency Protocols