Interaction Trees

Formally verified animation for RoboChart using interaction trees
RoboChart is a core notation in the RoboStar framework. It is a timed and probabilistic domain-specific and state machine-based …
Kangfeng Ye, Simon Foster, Jim Woodcock
Cite DOI URL
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
The submission (Formally Verified Animation for RoboChart using Interaction Trees) to ICFEM2022 is accepted
Jun 27, 2022
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