This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", conditionally accepted at OOPSLA'22
In the past decade, practical model-checking techniques have revolutionised research in formal softw...
Temporal logic model checking is a procedure that accepts a model of a system and a property written...
When a program is compiled and run on a modern architecture, different optimizations may be applied ...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditi...
This is the artifact accompanying the paper "HMC: Model Checking for Hardware Memory Models" which w...
This artifact contains the accompanying experiment data for the submission "Applicability of Model C...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact accompanying our paper "Kater: Automating Weak Memory Models", conditionally ac...
\u3cp\u3eModel checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 200...
After the rebuttal, we agreed with the reviewers to add new optimizations in our model checker, and ...
<p>Comparison of average model checker execution times when PBLMSTL statements corresponding to a co...
This is the pre-print of the OOPSLA' 20 paper "A Model for Detecting Faults in Build Specifications"
It contains the README and the scripts to set up the experimental environment and run the experiment...
This is the artifact accompanying the paper "Effective Lock Handling in Stateless Model Checking", w...
In the past decade, practical model-checking techniques have revolutionised research in formal softw...
Temporal logic model checking is a procedure that accepts a model of a system and a property written...
When a program is compiled and run on a modern architecture, different optimizations may be applied ...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditi...
This is the artifact accompanying the paper "HMC: Model Checking for Hardware Memory Models" which w...
This artifact contains the accompanying experiment data for the submission "Applicability of Model C...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact accompanying our paper "Kater: Automating Weak Memory Models", conditionally ac...
\u3cp\u3eModel checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 200...
After the rebuttal, we agreed with the reviewers to add new optimizations in our model checker, and ...
<p>Comparison of average model checker execution times when PBLMSTL statements corresponding to a co...
This is the pre-print of the OOPSLA' 20 paper "A Model for Detecting Faults in Build Specifications"
It contains the README and the scripts to set up the experimental environment and run the experiment...
This is the artifact accompanying the paper "Effective Lock Handling in Stateless Model Checking", w...
In the past decade, practical model-checking techniques have revolutionised research in formal softw...
Temporal logic model checking is a procedure that accepts a model of a system and a property written...
When a program is compiled and run on a modern architecture, different optimizations may be applied ...
DOI
Add to ORKG