There is a newer version of the record available.

Published August 16, 2019 | Version v1
Other Open

Artifact - TLA+ Model Checking Made Symbolic

  • 1. Inria Nancy, LORIA, University of Lorraine, CNRS, France
  • 2. TU Wien, Austria


This artifact version, named "25_ae", contains the same materials which we submitted in the artifact evaluation, and two new files README, and LICENSE. Our artifact comes in the form of a virtual machine (user: oopsla19, pass: ae).  Our model checker v0.5.0 is already installed on the VM. 

After the rebuttal, we agreed with the reviewers to add new optimizations in our model checker, and new benchmarks in the second submission. However, these changes are included only in the later version of our artifact, named "25_v2". Please check the version "25_v2" for updates in our second submission.


Files (5.0 GB)

Name Size Download all
5.0 GB Download