Benchmark Repository for Floating-Point Support in KeY

DOI10.5281/zenodo.6572961ZenodoMaRDI QIDQ6726013FDO

Authors Mattias Ulbrich, Wolfgang Ahrendt, Eva Darulova, Jonas Schiffl, Rosa Abbasi

Publication date 13 October 2020

Copyright license Creative Commons Attribution 4.0 International

Description

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