Archive.zip (82.66 kB)
Download file

Isabelle/HOL files for "View-Based Owicki-Gries Reasoning for Persistent x86-TSO"

Download (82.66 kB)
software
posted on 15.01.2022, 09:11 authored by Eleni Vafeiadi Bila, Brijesh DongolBrijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Isabelle/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...

History