Projects per year
Search results
-
Active
Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
Engineering & Physical Science Research Council
1/04/23 → 31/03/26
Project: Research Councils
-
Finished
Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment
Verified Trustworthy Software Systems
1/04/20 → 30/09/21
Project: Research