Published February 28, 2025
| Version v7
Software
Open
Benchmarking for COOL Model Checking
Authors/Creators
- 1. University of Gothenburg
- 2. Friedrich-Alexander Universität Erlangen-Nürnberg
Description
See Readme.md for usage instructions
Files
Readme.md
Files
(40.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:501187e4520c5653fadef94777f02516
|
12.5 MB | Preview Download |
|
md5:3ff62644c3493afd84ef31a9a87ce094
|
7.0 MB | Download |
|
md5:48d1369788d280a1caf5e2b59deebb7b
|
4.0 MB | Download |
|
md5:e3316a48b7e932a910a4ff6cd2f57f61
|
4.3 MB | Download |
|
md5:bb492f4f9831b197a9e1a1296869f921
|
4.0 MB | Download |
|
md5:75c0a37cefe362f5070d28ba94b4a604
|
5.1 MB | Download |
|
md5:388b61c2c3fe292bd47bc98d8a232261
|
3.7 MB | Download |
|
md5:02ba533008969e26022b705e3f09c027
|
10.8 kB | Preview Download |