Add to ORKGThis repository contains the formalization of a transient stack and its iterator, as described in the CPP'22 paper "Specification and Verification of a Transient Stack"
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the formalization of a transient stack and its iterator, as described in th...
International audienceA transient data structure is a package of an ephemeral data structure, a pers...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Abstract. Artifact systems are a novel paradigm for specifying and implement-ing business processes ...
Artifact systems are a novel paradigm for specifying and implementing business processes described i...
This is the companion artifact for the *Propositions-as-Types and Shared State* (submission #97). T...
This artifact aims to support and reproduce the verification results of the paper "Towards Formal Ve...
This the artifact accompanying the article "Le Temps des Cerises: Efficient Temporal Stack Safety on...
AbstractIn this paper, we present a new temporal property specification language TXP. The language i...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is an artifact accompanying a paper conditionally accepted at the International Conference on F...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the formalization of a transient stack and its iterator, as described in th...
International audienceA transient data structure is a package of an ephemeral data structure, a pers...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Abstract. Artifact systems are a novel paradigm for specifying and implement-ing business processes ...
Artifact systems are a novel paradigm for specifying and implementing business processes described i...
This is the companion artifact for the *Propositions-as-Types and Shared State* (submission #97). T...
This artifact aims to support and reproduce the verification results of the paper "Towards Formal Ve...
This the artifact accompanying the article "Le Temps des Cerises: Efficient Temporal Stack Safety on...
AbstractIn this paper, we present a new temporal property specification language TXP. The language i...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is an artifact accompanying a paper conditionally accepted at the International Conference on F...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...