There is a newer version of the record available.

Published October 13, 2020 | Version v1
Dataset Open

Benchmark Repository for Floating-Point Support in KeY

Authors/Creators

  • 1. Max Planck Institute for Software Systems
  • 2. Karlsruhe Institute of Technology
  • 3. Uppsala University
  • 4. Chalmers University of Technology

Contributors

  • 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 (48.4 kB)

Name Size Download all
md5:0ff149359c3eb00906d700b8ebba102d
48.4 kB Preview Download

Additional details

Related works

Is supplemented by
10.1007/978-3-030-72013-1_13 (DOI)