Foundations for circular compositional reasoning

DOI10.1007/3-540-48224-5_68MaRDI QIDQ4535066zbMATH OpenFDO

Authors Mahesh Viswanathan, Ramesh Viswanathan

Publication date 12 June 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2076/20760835

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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
• On the completeness of compositional reasoning methods
• scientific article; zbMATH DE number 1956523
• Automated circular assume-guarantee reasoning
• Abstract patterns of compositional reasoning.

Cited in

(17)

• Automated circular assume-guarantee reasoning
• Conditions of contracts for separating responsibilities in heterogeneous systems
• On hierarchically developing reactive systems
• On the completeness of compositional reasoning
• Assume-guarantee based compositional reasoning for synchronous timing diagrams
• Assume-guarantee reasoning with local specifications
• Debits and Credits in Petri Nets and Linear Logic
• On the completeness of compositional reasoning methods
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
• Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
• scientific article; zbMATH DE number 1956523 (Why is no real title available?)
• A set-theoretic framework for assume-guarantee reasoning
• Automated circular assume-guarantee reasoning with N-way decomposition and alphabet refinement
• Compositional Reasoning about Shared Futures
• Automated circular assume-guarantee reasoning
• Abstract patterns of compositional reasoning.
• Building correct-by-construction systems with formal patterns

This page was built for publication: Foundations for circular compositional reasoning

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