Binary Artifact for TACAS-2018 paper "Optimal DPOR with Observers"
Stavros Aronis
Bengt Jonsson
Magnus Lång
Konstantinos Sagonas
10.6084/m9.figshare.5918701.v1
https://springernature.figshare.com/articles/dataset/Binary_Artifact_for_TACAS-2018_paper_Optimal_DPOR_with_Observers_/5918701
This is a binary artifact related to the TACAS-2018 paper "Optimal Dynamic Partial Order Reduction with Observers". The paper describes an extension to the Optimal DPOR (Dynamic Partical Order Reduction) algorithm that enables use of observers, and demonstrates its utility through two implementations: one in an SMC tool for C/C++ programs with pthreads and one in an SMC tool for Erlang programs.<div><br></div><div>This artifact contains the code and benchmarks used to generate the
results in the paper, as well as instructions on how to do so. The
artifact is designed to be used with <a href="https://doi.org/10.6084/m9.figshare.5896615">https://doi.org/10.6084/m9.figshare.5896615</a>.<div><br></div><div><div>Within the artifact there are two subdirectories ("Concuerror" and "Nidhugg"), which each contain a README.md file, describing how the experimental results of the relevant sections can be replicated.</div></div></div>
2018-04-13 15:04:32
Optimal DPOR
Partial order reduction algorithms
Dynamic partial order reduction
Stateless model checking
SMC algorithms
Stateless model checking algorithms