Benchmark Repository for Floating-Point Support in KeY

Name: Benchmark Repository for Floating-Point Support in KeY
Creator: Ahrendt, Wolfgang; Abbasi, Rosa; Schiffl, Jonas; Ulbrich, Mattias; Darulova, Eva
Published: 2020-10-13 00:00:00
License: 暂无描述

Zenodo2020-10-13 更新2026-04-07 收录

下载链接：

https://zenodo.org/record/6572940

下载链接

链接失效反馈

官方服务：

资源简介：

The benchmark repository for the added floating-point support to the KeY deductive verifier

提供机构：

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

创建时间：

2020-10-13