Published March 11, 2025
| Version v1.1.2
Software
Open
Artifact: Symbolic Model Checking in External Memory
Files
README.md
Files
(1.7 GB)
| Name | Size | |
|---|---|---|
|
md5:bb93df9a5b5c6052c3360bb3beb1ebdc
|
1.7 GB | Preview Download |
|
md5:f87b78520d76d39941fe1cbc033d6ff8
|
3.5 kB | Preview Download |
|
md5:af50b5d23c9586f6d405411df672cc96
|
4.5 kB | Preview Download |
|
md5:1cc864a5f70b4775b3759525d45ece69
|
186 Bytes | Preview Download |
|
md5:1d23ef86c861670ed02998887ccb32f0
|
2.8 kB | Preview Download |
|
md5:2aea55f0b10925194404c2f911d3eff3
|
23.3 kB | Preview Download |
|
md5:20f88386fc12bb2636664274b90edd40
|
3.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: 10.5281/zenodo.4718218 (DOI)
- Is variant form of
- Software: 10.5281/zenodo.4718224 (DOI)
Software
- Repository URL
- https://github.com/SSoelvsten/bdd-benchmark/
- Programming language
- Python , C++
- Development Status
- Active