FM-Tools Release 2.2: Data Set of Metadata about Tools for Formal Methods (SV-COMP 2025, Test-Comp 2025)
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接:
https://zenodo.org/record/10669734
下载链接
链接失效反馈官方服务:
资源简介:
Collection of Information about Formal-Methods Tools
Motivation
There are many tools available that implement formal-methods approaches. This repository collects meta data about the tools, such that it becomes easier to reuse, integrate, and cooperate with formal-methods tools.
A description of the structure of this repository can be found in an article.
A formatted listing of some of the data in this repository can be found on a generated web site.
A schema definition of the data files in this repository can be found on a generated web site.
创建时间:
2025-03-20



