TY - DATA T1 - Binary Artifact for TACAS-2018 paper "Optimal DPOR with Observers" PY - 2018/04/13 AU - Stavros Aronis AU - Bengt Jonsson AU - Magnus Lång AU - Konstantinos Sagonas UR - https://springernature.figshare.com/articles/dataset/Binary_Artifact_for_TACAS-2018_paper_Optimal_DPOR_with_Observers_/5918701 DO - 10.6084/m9.figshare.5918701.v1 L4 - https://ndownloader.figshare.com/files/10572343 L4 - https://ndownloader.figshare.com/files/10794299 KW - Optimal DPOR KW - Partial order reduction algorithms KW - Dynamic partial order reduction KW - Stateless model checking KW - SMC algorithms KW - Stateless model checking algorithms N2 - 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.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 https://doi.org/10.6084/m9.figshare.5896615.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. ER -