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.
84
15
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 84 | 55 |
| Downloads | 15 | 6 |
| Data volume | 74.8 GB | 30.1 GB |
| Unique views | 56 | 44 |
| Unique downloads | 9 | 6 |
Indexed in
- Publication date:
- August 16, 2019
- DOI:
-
- Meeting:
- OOPSLA 2019: Object-Oriented Programming Systems, Languages and Applications (SPLASH 2019 OOPSLA), Athens, Greece, Sun 20 - Fri 25 October, 2019
- License (for files):
- Apache License 2.0