Modal Kleene algebra applied to program correctness
From MaRDI portal
Publication:2281640
DOI10.1007/978-3-319-48989-6_19zbMath1427.68046OpenAlexW2529657190MaRDI QIDQ2281640
Victor B. F. Gomes, Georg Struth
Publication date: 3 January 2020
Full work available at URL: https://www.repository.cam.ac.uk/handle/1810/260625
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (5)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Automated Algebraic Reasoning for Collections and Local Variables with Lenses ⋮ Abstract strategies and coherence ⋮ Unifying theories of reactive design contracts ⋮ Automated verification of reactive and concurrent programs by calculation
Uses Software
This page was built for publication: Modal Kleene algebra applied to program correctness
