FM-Tools Release 2.4: Data Set of Metadata about Tools for Formal Methods

Résumé fourni par la source

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.

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.