FM-Tools Release 2.2: Data Set of Metadata about Tools for Formal Methods (SV-COMP 2025, Test-Comp 2025)

<h1>Collection of Information about Formal-Methods Tools</h1> <h2>Motivation</h2> <p>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.</p> <p>A <a href="https://www.sosy-lab.org/research/pub/2024-Podelski65.Find_Use_and_Conserve_Tools_for_Formal_Methods.pdf">description</a> of the structure of this repository can be found in an article.</p> <p>A <a href="https://fm-tools.sosy-lab.org/">formatted listing</a> of some of the data in this repository can be found on a generated web site.</p> <p>A <a href="https://fm-tools.sosy-lab.org/schema.html">schema definition</a> of the data files in this repository can be found on a generated web site.</p>