Publication date
March 2023
DOIAbstract
This is the artifact consisting of the Coq formalization for the paper "Modular Verification of State-Based CRDTs in Separation Logic", submitted to ECOOP'23
This is the artifact consisting of the Coq formalization for the paper "Modular Verification of State-Based CRDTs in Separation Logic", submitted to ECOOP'23
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact consisting of the Coq formalization for the paper "Modular Verification of Stat...
This is the documentation of the artifact for the paper "Modular Verification of State-Based CRDTs i...
Proof Artifact (Coq development in a VirtualBox VM) for the paper "Modular Verification of Op-Based ...
This upload contains the Coq formalization associated with the ICFP'21 paper "Theorems for Free from...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
Conflict-free Replicated Datatypes (CRDTs) are a class of distributed data structures that are highl...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Item does not contain fulltextThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Lo...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact for the ICSE' 21 paper titled "Data-Oriented Differential Testing of Object-Rel...
A Coq artifact accompanying the paper "Mechanized Logical Relations for Termination-Insensitive Noni...
The software artifact accompanying the OOPSLA'22 paper "Katara: Synthesizing CRDTs with Verified Lif...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact consisting of the Coq formalization for the paper "Modular Verification of Stat...
This is the documentation of the artifact for the paper "Modular Verification of State-Based CRDTs i...
Proof Artifact (Coq development in a VirtualBox VM) for the paper "Modular Verification of Op-Based ...
This upload contains the Coq formalization associated with the ICFP'21 paper "Theorems for Free from...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
Conflict-free Replicated Datatypes (CRDTs) are a class of distributed data structures that are highl...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Item does not contain fulltextThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Lo...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact for the ICSE' 21 paper titled "Data-Oriented Differential Testing of Object-Rel...
A Coq artifact accompanying the paper "Mechanized Logical Relations for Termination-Insensitive Noni...
The software artifact accompanying the OOPSLA'22 paper "Katara: Synthesizing CRDTs with Verified Lif...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
Add to ORKG