Verification by network decomposition

DOI10.1007/978-3-540-28644-8_18MaRDI QIDQ5311479zbMATH OpenOpenAlexFDO

Authors Muralidhar Talupur, Tayssir Touili, Helmut Veith, Edmund Clarke

Publication date 23 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100113

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

• Parameterized Model Checking of Token-Passing Systems
• Symmetry reduction for the local mu-calculus
• Automatic verification of parameterized networks of processes
• Decompositional Petri Net Reductions
• Model checking of systems with many identical timed processes

Cited in

(18)

• Parameterized model checking of rendezvous systems
• \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
• Parameterized model checking of networks of timed automata with Boolean guards
• A counter abstraction technique for verifying properties of probabilistic swarm systems
• Verification of Boolean programs with unbounded thread creation
• Parameterised verification for multi-agent systems
• Model checking parameterised multi-token systems via the composition method
• Automated formal analysis and verification: an overview
• Learning Meets Verification
• A model checking-based approach for security policy verification of mobile systems
• Multi-parameterised compositional verification of safety properties
• scientific article; zbMATH DE number 7559502 (Why is no real title available?)
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• A case study on parametric verification of failure detectors
• An invariant-based approach to the verification of asynchronous parameterized networks
• Phase-bounded broadcast networks over topologies of communication
• Automatic WSTS-based repair and deadlock detection of parameterized systems
• Parameterized verification of time-sensitive models of ad hoc network protocols

This page was built for publication: Verification by network decomposition

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