Archive.zip (82.66 kB)
Isabelle/HOL files for "View-Based Owicki-Gries Reasoning for Persistent x86-TSO"
Version 2 2022-01-15, 09:11
Version 1 2022-01-15, 08:52
software
posted on 2022-01-15, 09:11 authored by Eleni Vafeiadi Bila, Brijesh DongolBrijesh Dongol, Ori Lahav, Azalea Raad, John WickersonIsabelle/HOL files for "View-Based Owicki-Gries Reasoning for Persistent x86-TSO" published in ESOP 2022.
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...Verification-Aware Programming Language Concurrency Semantics
European Research Council
Find out more...Interface reasoning for interacting systems (IRIS).
Engineering and Physical Sciences Research Council
Find out more...