On the completeness of compositional reasoning methods

DOI10.1145/1740582.1740584MaRDI QIDQ2946604zbMATH OpenOpenAlexFDO

Authors Kedar S. Namjoshi, Richard Trefler

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1740582.1740584

zbMATH Keywords

automated reasoningassume-guarantee reasoningcompositional reasoningconcurrent systemssyntactically circular reasoning

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

• scientific article; zbMATH DE number 1670774
• Abstract patterns of compositional reasoning.
• scientific article; zbMATH DE number 1956523
• scientific article; zbMATH DE number 1754638
• Automated circular assume-guarantee reasoning

Cited in

(17)

• Abstract patterns of compositional reasoning.
• scientific article; zbMATH DE number 1701775 (Why is no real title available?)
• Local symmetry and compositional verification
• scientific article; zbMATH DE number 4160165 (Why is no real title available?)
• scientific article; zbMATH DE number 1754638 (Why is no real title available?)
• Completeness for cut-based abduction
• Completion Is an Instance of Abstract Canonical System Inference
• scientific article; zbMATH DE number 1670774 (Why is no real title available?)
• scientific article; zbMATH DE number 1956523 (Why is no real title available?)
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
• AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
• Automated circular assume-guarantee reasoning
• Compositional models for credal sets
• scientific article; zbMATH DE number 1759496 (Why is no real title available?)
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Compositional reasoning
• The refinement calculus of reactive systems

This page was built for publication: On the completeness of compositional reasoning methods

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