Explore projects

Updated

Cosmos Statistical Model Checker
Updated 
Updated

Updated

Updated

Updated

Updated

Updated

Updated

Updated

Updated

Updated

Updated

Updated

A node JS website for interactive polling students
Updated 
Updated


Updated

BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers
Updated 