Towards verification of cyber-physical systems with UTP and Isabelle/HOL

DOI10.1007/978-3-319-51046-0_3zbMath1485.68150OpenAlexW2564273566MaRDI QIDQ1708708

Simon Foster, J. C. P. Woodcock

Publication date: 26 March 2018

Full work available at URL: https://eprints.whiterose.ac.uk/110313/1/roscoe.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Isabelle
• Isabelle/HOL
• HOL

This page was built for publication: Towards verification of cyber-physical systems with UTP and Isabelle/HOL