Compositional analysis for verification of parameterized systems

MaRDI QIDQ4417935zbMATH OpenFDO

Authors Samik Basu, C. R. Ramakrishnan

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190315.htm

Mathematics Subject Classification ID

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

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

(21)

• Partial specifications and compositional verification
• A compositional approach to the verification of hybrid systems
• Parameterized compositional model checking
• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Compositional verification of asynchronous concurrent systems using CADP
• Compositional analysis for verification of parameterized systems
• Compositional analysis of C/C++ programs with veriSoft
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
• Verification of finite state systems by compositional model checking
• Verification of parameterized systems using logic program transformations
• Partial S-invariants for the verification of infinite systems families
• Compositionality in state space verification methods
• An assertional language for the verification of systems parametric in several dimensions (preliminary results)
• scientific article; zbMATH DE number 1418468 (Why is no real title available?)
• Multi-parameterised compositional verification of safety properties
• Algebraic Methodology and Software Technology
• Symmetry and Completeness in the Analysis of Parameterized Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• A process calculus for mobile ad hoc networks

This page was built for publication: Compositional analysis for verification of parameterized systems

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