Benchmark Repository for Floating-Point Support in KeY
收藏NIAID Data Ecosystem2026-03-13 收录
数据链接：
官方服务：
资源简介：
The benchmark repository for the added floating-point support to the KeY deductive verifier
应用场景：
创建时间：
2022-05-23
相关数据集
Evaluation of Specification Inference Tools for Deductive Verification
About this artifactAs part of our research, we evaluated the impact of several specification inference tools for deductive verification.This artifact contains the following things:- input-output-examp
Mendeley Data2024-03-27 更新130
Database of Annotations for Deductive Verifiers
This dataset was set up as part of our research titled "Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers". It contains a large set of annotat
DataCite Commons2022-08-30 更新100
Evaluation of Specification Inference Tools for Deductive Verification
About this artifact As part of our research, we evaluated the impact of several specification inference tools for deductive verification.This artifact contains the following things:- i
DataCite Commons2023-06-19 更新90
Artifact for Paper: (Deductive verification of SYCL in VerCors)
Artifact for paper (Deductive verification of SYCL in VerCors) submitted to SEFM '24 conference. For a full description on how to use the artifact, please see the README.md file. The artifact contains
DataCite Commons2024-07-05 更新120
Evaluation of Specification Inference Tools for Deductive Verification
About this artifactAs part of our research, we evaluated the impact of several specification inference tools for deductive verification.This artifact contains the following things:- input-output-examp
Mendeley Data2024-03-27 更新90
