There is a newer version of this record available.

Other Open Access

Artifact - TLA+ Model Checking Made Symbolic

IGOR KONNOV; JURE KUKOVEC; THANH-HAI TRAN

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
25_ae.ova
md5:d5d10dc928721be36a39ec9c60639e44
5.0 GB Download
48
7
views
downloads
All versions This version
Views 4826
Downloads 72
Data volume 34.9 GB10.0 GB
Unique views 2617
Unique downloads 32

Share

Cite as