Hybrid relations in Isabelle/UTP

DOI10.1007/978-3-030-31038-7_7OpenAlexW2974598836MaRDI QIDQ2296290

Simon Foster

Publication date: 18 February 2020

Full work available at URL: https://eprints.whiterose.ac.uk/148557/1/UTP2019.pdf

Mathematics Subject Classification ID

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

Related Items (4)

Automated Algebraic Reasoning for Collections and Local Variables with Lenses ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL ⋮ A Unary Semigroup Trace Algebra ⋮ Integration of formal proof into unified assurance cases with Isabelle/SACM

This page was built for publication: Hybrid relations in Isabelle/UTP