Algebra of Monotonic Boolean Transformers

DOI10.1007/978-3-642-25032-3_10zbMath1349.68051OpenAlexW113582640MaRDI QIDQ3098056

Viorel Preoteasa

Publication date: 11 November 2011

Published in: Formal Methods, Foundations and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25032-3_10

Mathematics Subject Classification ID

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

Related Items

Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ A Program Construction and Verification Tool for Separation Logic ⋮ An algebraic approach to multirelations and their properties

Uses Software

• Isabelle/HOL
• Data Refinement IBP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic separation logic
• Frame rule for mutually recursive procedures manipulating pointers
• Modelling angelic and demonic nondeterminism with multirelations
• Duality in specification languages: A lattice-theoretical approach
• Enabledness and termination in refinement algebra
• Isabelle/HOL. A proof assistant for higher-order logic
• Towards a refinement algebra
• Refinement algebra for probabilistic programs
• An algebraic treatment of procedure refinement to support mechanical verification
• Data Refinement of Invariant Based Programs
• Concurrent Kleene Algebra
• Refinement Calculus
• Kleene algebra with domain
• An axiomatic basis for computer programming