scientific article; zbMATH DE number 1956590
From MaRDI portal
Publication:4417935
zbMATH Open1031.68543MaRDI QIDQ4417935FDOQ4417935
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
Title of this publication is not available (Why is that?)
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)
- REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- Compositional analysis of C/C++ programs with veriSoft
- Title not available (Why is that?)
- Algebraic Methodology and Software Technology
- Title not available (Why is that?)
- Compositionality in state space verification methods
- A process calculus for mobile ad hoc networks
- A compositional approach to the verification of hybrid systems
- Partial specifications and compositional verification
- Parameterized compositional model checking
- Compositional analysis for verification of parameterized systems
- Symmetry and Completeness in the Analysis of Parameterized Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Compositional verification of asynchronous concurrent systems using CADP
- An assertional language for the verification of systems parametric in several dimensions (preliminary results)
- Title not available (Why is that?)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting
- Multi-parameterised compositional verification of safety properties
- Parameterized synthesis of self-stabilizing protocols in symmetric networks
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)
