Published January 29, 2018
| Version 1.1.0
Dataset
Open
Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework"
Description
A supplementary report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework" by Ákos Hajdu and Zoltán Micskei, presented at the 25th PhD Mini-Symposium (2018), organized by the Department of Measurement and Information Systems at the Budapest University of Technology and Economics.
Files
data.csv
Files
(5.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a2b9e5a9ced22f2d30caef7a30bcd8d
|
1.2 MB | Preview Download |
|
md5:af4709e144d563012e470395e31817f3
|
2.6 kB | Preview Download |
|
md5:9cb0d6628f56ff3b8905c16c995d35fd
|
2.4 MB | Download |
|
md5:723526f2661df2a1cdd5d5722f933a35
|
1.6 MB | Preview Download |
|
md5:898ca397c0a775fe15cdbeec6c58dc9d
|
20.9 kB | Download |
Additional details
Related works
- Is supplement to
- 10.5281/zenodo.1219261 (DOI)