scientific article; zbMATH DE number 1956590
From MaRDI portal
Publication:4417935
Recommendations
- Compositional analysis for verification of parameterized systems
- Multi-parameterised compositional verification of safety properties
- Tools and Algorithms for the Construction and Analysis of Systems
- Parameterized compositional model checking
- Model checking and abstraction to the aid of parameterized systems (a survey)
Cited in
(20)- Algebraic Methodology and Software Technology
- A process calculus for mobile ad hoc networks
- Parameterized synthesis of self-stabilizing protocols in symmetric networks
- Tools and Algorithms for the Construction and Analysis of Systems
- Partial specifications and compositional verification
- scientific article; zbMATH DE number 1418468 (Why is no real title available?)
- Compositional analysis of C/C++ programs with veriSoft
- An assertional language for the verification of systems parametric in several dimensions (preliminary results)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting
- Compositionality in state space verification methods
- Compositional analysis for verification of parameterized systems
- scientific article; zbMATH DE number 1755152 (Why is no real title available?)
- A compositional approach to the verification of hybrid systems
- Parameterized compositional model checking
- Compositional verification of asynchronous concurrent systems using CADP
- Multi-parameterised compositional verification of safety properties
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
- scientific article; zbMATH DE number 1538039 (Why is no real title available?)
- Symmetry and Completeness in the Analysis of Parameterized Systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417935)
