Benchmark Repository for Floating-Point Support in KeY
From MaRDI portal
Dataset:6726013
DOI10.5281/zenodo.6572961Zenodo6572961MaRDI QIDQ6726013FDOQ6726013
Dataset published at Zenodo repository.
Mattias Ulbrich, Wolfgang Ahrendt, Eva Darulova, Jonas Schiffl, Rosa Abbasi
Publication date: 13 October 2020
Copyright license: Creative Commons Attribution 4.0 International
The benchmark repository for the added floating-point support to the KeY deductive verifier
This page was built for dataset: Benchmark Repository for Floating-Point Support in KeY
