- York, United Kingdom
- https://randallye.github.io/
-
The mechanisation of the semantics of probabilistic designs in Isabelle/UTP
-
QANAD Public
This repository is about the safety analysis of UML activity diagrams using Markov models in the SESAME project.
-
ORAN-xApp-QoS-PRISM-Models Public
This repository contains PRISM models used to analyse QoS (energy efficiency and service availability) in O-RAN xApps.
-
This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.
-
-
academic-kickstart Public template
Forked from HugoBlox/theme-academic-cv📝 Easily create a beautiful website using Academic, Hugo, and Netlify
TeX MIT License UpdatedJun 29, 2022 -
-
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Isabelle UpdatedFeb 25, 2021 -
ISOZ-Parser-TypeChecker Public
A parser and type checker for ISO Standard Z (ISO/IEC 13568:2002, available at https://www.iso.org/standard/21573.html).
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 15, 2017 -
Circus2ZCSP Public
A translator from a Circus model to CSP ||b Z in terms of CSP || B
Java UpdatedOct 5, 2016 -
Circus-Programs Public
This is a personal repository for me to keep the Circus (https://www.cs.york.ac.uk/circus/) specifications and programs which are used in my research, as well as corresponding experimental tools.
TeX UpdatedJul 20, 2016