Compositional reasoning using the assumption-commitment paradigm

DOI10.1007/3-540-49213-5_22MaRDI QIDQ7010061zbMATH OpenFDO

Authors Qiwen Xu, Mohalik Swarup

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_22

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)

Cites work

• scientific article; zbMATH DE number 3902010 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• A calculus of durations
• A duration calculus with infinite intervals
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• Application of the composition principle to unity-like specifications
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Hybrid systems
• P-A logic - a compositional proof system for distributed programs
• Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
• Proofs of Networks of Processes
• Specification and compositional verification of real-time systems
• Specifying message passing and time-critical systems with temporal logic
• Tentative steps toward a development method for interfering programs
• The Rely-Guarantee method for verifying shared variable concurrent programs

This page was built for publication: Compositional reasoning using the assumption-commitment paradigm

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