Benchmark Repository for Floating-Point Support in KeY

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 13 October 2020

Copyright license: No records found.

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