Automatic verification of parameterized networks of processes
From MaRDI portal
Publication:5941103
DOI10.1016/S0304-3975(00)00104-3zbMath0973.68145MaRDI QIDQ5941103
No author found.
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Networks of Processes with Parameterized State Space, Verifying Parameterized taDOM+ Lock Managers, On Verifying Fault Tolerance of Distributed Protocols, Symbolic model checking with rich assertional languages, Automatic verification of parameterized networks of processes, Parametrized invariance for infinite state processes, An automatic abstraction technique for verifying featured, parameterised systems, Network invariants for real-time systems, Model checking and abstraction to the aid of parameterized systems (a survey), Quantitative static analysis of communication protocols using abstract Markov chains, Compositional analysis for verification of parameterized systems, Automated formal analysis and verification: an overview, Model Checking Parameterized Systems, Liveness by Invisible Invariants
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Distributed mutual exclusion on a ring of processes
- The Esterel synchronous programming language: Design, semantics, implementation
- An experience in proving regular networks of processes by modular model checking
- A structural induction theorem for processes
- Grammar Analysis and Parsing by Abstract Interpretation
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Abstract interpretation and application to logic programs
- On Reasoning About Rings
- Symbolic model checking with rich assertional languages
- Automatic verification of parameterized networks of processes