Algebra of Monotonic Boolean Transformers
From MaRDI portal
Publication:3098056
DOI10.1007/978-3-642-25032-3_10zbMath1349.68051OpenAlexW113582640MaRDI QIDQ3098056
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
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
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