Published February 15, 2026
| Version 2.3
Dataset
Open
FM-Tools Release 2.3: Data Set of Metadata about Tools for Formal Methods (SV-COMP 2026, Test-Comp 2026)
Description
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.
This version was also published as doi:10.5281/zenodo.18650756.
Files
fm-tools-2.3.zip
Files
(51.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:16beac84509c51e9d90e1e847fd3e368
|
51.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1007/978-3-031-90660-2_9 (DOI)
- Conference paper: 10.1007/978-3-031-90900-9_13 (DOI)
Software
- Repository URL
- https://gitlab.com/sosy-lab/benchmarking/fm-tools
- Programming language
- YAML
- Development Status
- Active