Coq files for the paper "Rely-Guarantee Reasoning for Causally Consistent Shared Memory". The submission includes - A virtual machine with the Coq and the proofs pre-installed. - The Coq project for those that already have Coq installed
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
Coq files for the paper "Rely-Guarantee Reasoning for Causally Consistent Shared Memory". The submis...
This the artifact accompanying the article "Le Temps des Cerises: Efficient Temporal Stack Safety on...
This artifact contains the complete mechanized Coq proofs of the lemmas and theorems about System DE...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
<p>This artifact contains the complete mechanized Coq proofs of the lemmas and theorems about ...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This is the artifact that accompanies the paper “Formal Verification of a Concurrent Bounded Queue i...
Getting Started Guide Download and install the latest version of VirtualBox 6.1.30 r148432. Note: I...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
The artifact reviewers have three options: 1) They can checkout the git repo dedicated to the Coq p...
This artifact provides the soundness proofs for the encodings in Iris the RSL and GPS logics, as wel...
Quick links Webpage of the project: online; VirtualBox image of the artifact: online. This reposit...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
Coq files for the paper "Rely-Guarantee Reasoning for Causally Consistent Shared Memory". The submis...
This the artifact accompanying the article "Le Temps des Cerises: Efficient Temporal Stack Safety on...
This artifact contains the complete mechanized Coq proofs of the lemmas and theorems about System DE...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
<p>This artifact contains the complete mechanized Coq proofs of the lemmas and theorems about ...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This is the artifact that accompanies the paper “Formal Verification of a Concurrent Bounded Queue i...
Getting Started Guide Download and install the latest version of VirtualBox 6.1.30 r148432. Note: I...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
The artifact reviewers have three options: 1) They can checkout the git repo dedicated to the Coq p...
This artifact provides the soundness proofs for the encodings in Iris the RSL and GPS logics, as wel...
Quick links Webpage of the project: online; VirtualBox image of the artifact: online. This reposit...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
DOI
Add to ORKG