Published October 13, 2020
| Version v2
Dataset
Open
Benchmark Repository for Floating-Point Support in KeY
- 1. Max Planck Institute for Software Systems
- 2. Karlsruhe Institute of Technology
- 3. Uppsala University
- 4. Chalmers University of Technology
Contributors
Contact persons:
- 1. Max Planck Institute for Software Systems
- 2. Karlsruhe Institute of Technology
- 3. Uppsala University
- 4. Chalmers University of Technology
Description
The benchmark repository for the added floating-point support to the KeY deductive verifier
Files
key-float-benchmarks.zip
Files
(26.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f52a2f3c94872dd0af07393fc7618857
|
26.0 kB | Preview Download |
Additional details
Related works
- Is supplemented by
- 10.1007/978-3-030-72013-1_13 (DOI)