Published August 14, 2021
| Version v1
Other
Open
Verified Quadratic Virtual Substitution for Real Arithmetic: Benchmark Examples and Scripts
- 1. Carnegie Mellon University
Description
Benchmark examples and scripts to repeat the experiments in [1].
[1] Matias Scharager, Katherine Cordwell, Stefan Mitsch and André Platzer. Verified quadratic virtual substitution for real arithmetic. In Marieke Huisman, Corina Pasareanu, and Naijun Zhan, editors, FM 2021: Formal Methods, LNCS. Springer, 2021.
Files
benchmarks-vs-fm21.zip
Files
(2.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e29fcf98de1d2db63237626244c05ffe
|
2.7 MB | Preview Download |
Additional details
Related works
- Is derived from
- Preprint: arXiv:2105.14183 (arXiv)