Algebraic verification of hybrid systems in Isabelle/HOL

Huerta y Munive, Jonathan Julian ORCID: https://orcid.org/0000-0003-3279-3685 (2020) Algebraic verification of hybrid systems in Isabelle/HOL. PhD thesis, University of Sheffield.

Abstract

Metadata

Related URLs:
Keywords: hybrid systems; verification; formal methods; proof assistants
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.831193
Depositing User: Mr Jonathan Julian Huerta y Munive
Date Deposited: 01 Jun 2021 21:46
Last Modified: 01 Jul 2021 09:53

Download

Final eThesis - complete (pdf)

Share / Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.