Published April 15, 2020
| Version v1
Software
Open
Extracting Safe Thread Schedules from Incomplete Model Checking Results
- 1. TU Darmstadt
- 2. Lancaster University
- 3. TU Wien
Description
Software used in the experiments on iterative model checking of concurrent software.
Files
Files
(21.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7e1716c786ccca7d344b31bdb45f1077
|
21.8 MB | Download |