Abstract patterns of compositional reasoning.

DOI10.1007/B11938MaRDI QIDQ5900581zbMATH OpenOpenAlexFDO

Authors Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard Trefler

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11938

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)

Recommendations

• On the completeness of compositional reasoning methods
• On the completeness of compositional reasoning
• Foundations for circular compositional reasoning
• Assume-guarantee based compositional reasoning for synchronous timing diagrams
• scientific article; zbMATH DE number 4180789

Cited in

(17)

• Conditions of contracts for separating responsibilities in heterogeneous systems
• Invariants, composition, and substitution
• On the completeness of compositional reasoning
• Induction in compositional model checking
• Assume-guarantee based compositional reasoning for synchronous timing diagrams
• Assume-guarantee reasoning with local specifications
• Views, compositional reasoning for concurrent programs
• On the completeness of compositional reasoning methods
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• Compositional reasoning
• Considerate reasoning and the Composite design pattern
• Composing snippets
• Compositional circular assume-guarantee rules cannot be sound and complete
• A set-theoretic framework for assume-guarantee reasoning
• Foundations for circular compositional reasoning
• scientific article; zbMATH DE number 1754684 (Why is no real title available?)
• Automated compositional proofs for real-time systems

This page was built for publication: Abstract patterns of compositional reasoning.

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