Verification

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
Animation of RoboChart with Interaction Trees
Animation of RoboChart using Interaction Trees based CSP and code generation in Isabelle
Oct 6, 2021
Project
Animation of RoboChart with Interaction Trees
RoboChart & RoboTool: modelling and verification of probabilistic systems
A tutorial on how to use RoboChart and RoboTool to model and verify probabilistic systems.
Oct 15, 2019
Project
RoboChart & RoboTool: modelling and verification of probabilistic systems