Hoare Semigroups
From MaRDI portal
Publication:4640310
DOI10.1017/S096012951700007XzbMath1390.68440OpenAlexW4230791618MaRDI QIDQ4640310
Publication date: 17 May 2018
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s096012951700007x
General structure theory for semigroups (20M10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Uses Software
Cites Work
- Internal axioms for domain semirings
- Building program construction and verification tools from algebraic principles
- Isabelle/HOL. A proof assistant for higher-order logic
- Towards a refinement algebra
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Concurrent dynamic logic
- Concurrent Dynamic Algebra
- Kleene Algebra with Tests and Coq Tools for while Programs
- Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL
- On Hoare logic and Kleene algebra with tests
- Unnamed Item
- Unnamed Item
This page was built for publication: Hoare Semigroups