Verified Quadratic Virtual Substitution for Real Arithmetic: Benchmark Examples and Scripts
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer · Zenodo (CERN European Organization for Nuclear Research) · 2021
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.