scientific article; zbMATH DE number 3938541
From MaRDI portal
Publication:3709867
Recommendations
Cited in
(23)- A compositional protocol verification using relativized bisimulation
- The Rely-Guarantee method for verifying shared variable concurrent programs
- Composing leads-to properties
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
- Compositional reasoning using intervals and time reversal
- On rely-guarantee reasoning
- Generalised rely-guarantee concurrency: an algebraic foundation
- Compositional Verification for Component-Based Systems and Application
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs
- scientific article; zbMATH DE number 1956564 (Why is no real title available?)
- A Structural Proof of the Soundness of Rely/guarantee Rules
- Modular verification of multithreaded programs
- An introduction to compositional methods for concurrency and their application to real-time.
- A parametric rely-guarantee reasoning framework for concurrent reactive systems
- A logical view of composition
- Automatic assume-guarantee reasoning for safety and liveness using passive learning
- Contract-based distributed logical controller synthesis
- Lazy compositional verication
- Compositional proofs for concurrent objects
- The need for compositional proof systems: a survey
- Contract-based multi-agent logical controller synthesis under uncertainty
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 Q3709867)
