Isabelle/HOL files for "Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies"
software
posted on 2022-11-06, 10:55 authored by Daniel Wright, Sadegh Dalvandi, Brijesh DongolBrijesh Dongol, Mark BattyIsabelle/HOL files for the paper "Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies".
Tested for Isabelle 2022.
Funding
Verifiably Correct Transactional Memory
Engineering and Physical Sciences Research Council
Find out more...Verifiably Correct Swarm Attestation
Engineering and Physical Sciences Research Council
Find out more...CapC: Capability C semantics, tools and reasoning
Department for Business, Energy and Industrial Strategy
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...