UTP

Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
A RoboStar seminar: a summary of our recent work in modelling and verification of probabilistic programs.
Jun 28, 2023
PDF Project Project
Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
Formally Verified Animation for RoboChart Using Interaction Trees
A RoboStar seminar: preparation and rehearsal for a presentation given later in ICFEM 2022
Oct 19, 2022
Project Project
Formally Verified Animation for RoboChart Using Interaction Trees
Probabilistic modelling and verification using RoboChart and PRISM
A RoboStar seminar: preparation and rehearsal for a presentation given later in MODELS 2022
Oct 5, 2022
Project
Probabilistic modelling and verification using RoboChart and PRISM
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving @ RAMiCS2021
Presentation for RAMiCS2021
Nov 4, 2021
PDF Project Slides
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving @ RAMiCS2021
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Rehearsal for RAMiCS2021 on 4th November, 2021
Oct 29, 2021
Project
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)
A UK National Cyber Security Centre (NCSC) funded project and we have developed a theoretical reasoning framework for discrete-time blocks of control law diagrams.
VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
This report is a summary of our work for the VeTSS funded project ?Mechanised Assume-Guarantee Reasoning for Control Law Diagrams via …
<ins>Kangfeng Ye</ins>, Simon David Foster, JAMES Charles Paul Woodcock
PDF