Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving @ RAMiCS2021

Nov 4, 2021
PDF Project Slides

This is the presentation I gave in RAMiCS 2021.

RoboChart Verification Theorem Proving Isabelle Probabilistic UTP Formal semantics Mechanisation
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.