Reasoning about composition using property transformers and their conjugates

DOI10.1007/3-540-44929-9_40MaRDI QIDQ4536450zbMATH OpenFDO

Authors Michel Charpentier, K. Mani Chandy

Publication date 25 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44929-9_40

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Specification transformers: a predicate transformer approach to composition
• A logical and ontological framework for compositional concepts of objects and properties
• A compositional semantics for logic programs
• On the completeness of compositional reasoning methods
• Compositional reasoning
• On the completeness of compositional reasoning
• Compositional reasoning for multi-modal logics
• Compositional model-theoretic semantics for logic programs
• Towards a calculus of predicate transformers

Cited in

(6)

• Composing leads-to properties
• Specification transformers: a predicate transformer approach to composition
• Theorems about composition
• scientific article; zbMATH DE number 2079659 (Why is no real title available?)
• scientific article; zbMATH DE number 2087508 (Why is no real title available?)
• Formalization of Refinement Calculus for Reactive Systems

This page was built for publication: Reasoning about composition using property transformers and their conjugates

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