Automatic verification of parameterized networks of processes
From MaRDI portal
Recommendations
Cites work
- A structural induction theorem for processes
- Abstract interpretation and application to logic programs
- An experience in proving regular networks of processes by modular model checking
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Automatic verification of parameterized networks of processes
- Distributed mutual exclusion on a ring of processes
- Grammar Analysis and Parsing by Abstract Interpretation
- scientific article; zbMATH DE number 3858396 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 1232242 (Why is no real title available?)
- scientific article; zbMATH DE number 526071 (Why is no real title available?)
- On Reasoning About Rings
- Symbolic model checking with rich assertional languages
- The Esterel synchronous programming language: Design, semantics, implementation
Cited in
(30)- Network invariants for real-time systems
- An experience in proving regular networks of processes by modular model checking
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Parameterized verification of linear networks using automata as invariants
- Computing parameterized invariants of parameterized Petri nets
- Quantitative static analysis of communication protocols using abstract Markov chains
- Parameterised verification of publish/subscribe networks with exception handling
- Compositional analysis for verification of parameterized systems
- Verification of parameterized protocols
- scientific article; zbMATH DE number 1696515 (Why is no real title available?)
- Automated formal analysis and verification: an overview
- Model checking parameterized systems
- Liveness by Invisible Invariants
- Inferring Network Invariants Automatically
- scientific article; zbMATH DE number 734956 (Why is no real title available?)
- scientific article; zbMATH DE number 1796136 (Why is no real title available?)
- scientific article; zbMATH DE number 1848282 (Why is no real title available?)
- An assertional language for the verification of systems parametric in several dimensions (preliminary results)
- Networks of processes with parameterized state space
- Parametrized invariance for infinite state processes
- Computing Parameterized Invariants of Parameterized Petri Nets
- Parameterized verification of broadcast networks of register automata
- CONCUR 2004 - Concurrency Theory
- Verifying Parameterized taDOM+ Lock Managers
- On Verifying Fault Tolerance of Distributed Protocols
- Tools and Algorithms for the Construction and Analysis of Systems
- Symbolic model checking with rich assertional languages
- Automatic verification of parameterized networks of processes
- An invariant-based approach to the verification of asynchronous parameterized networks
- An automatic abstraction technique for verifying featured, parameterised systems
This page was built for publication: Automatic verification of parameterized networks of processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941103)
