Published October 26, 2023
| Version v4
Software
Open
Benchmarking for COOL Model Checking
Authors/Creators
- 1. University of Gothenburg
- 2. Friedrich-Alexander Universität Erlangen-Nürnberg
Description
See README.pdf for usage instructions
Files
README.pdf
Files
(97.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d925fffb030f57e71388137656ff0809
|
7.0 MB | Download |
|
md5:9c7462715bcd894360917fd4c94026cd
|
77.3 MB | Download |
|
md5:e3c6ac4d72f5aee3577aebfdeafec37b
|
4.0 MB | Download |
|
md5:7d13a020d66eb7e2455e51631835a0db
|
4.3 MB | Download |
|
md5:5d24fe80cd6448e0383cc6643ca361ec
|
5.1 MB | Download |
|
md5:dd7959fe818be91dc6dc0cfd2f6b5e5a
|
35.1 kB | Download |
|
md5:d3793a6c27eabe364d18bef472369b2a
|
128.8 kB | Preview Download |