FDR models for "Checking Opacity and Durable Opacity with FDR"
FDR models for the SEFM 2021 paper "Checking Opacity and Durable Opacity with FDR"
Funding
Verifiably Correct Swarm Attestation
Engineering and Physical Sciences Research Council
Find out more...Verifiably Correct Transactional Memory
Engineering and Physical Sciences Research Council
Find out more...RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Engineering and Physical Sciences Research Council
Find out more...Design and verification of correct, efficient and secure concurrent systems
Australian Research Council
Find out more...