Version 2.0

FM-Tools Release 2.0

View Dataset
Beyer, Dirk

Description

Collection of Information about Formal-Methods ToolsMotivationThere 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.

Citations (0)

Mentions (0)

Metrics

Dataset Index

0.3

FAIR Score

79%

Citations

0

Mentions

0

Metrics Over Time

Publication Details

DOI

Publisher

Zenodo

Assigned Domain

Subfield

Safety Research

Field

Social Sciences

Domain

Social Sciences

Confidence Score

49%

Source

Scholar Data Model

Normalization Factors

FT

15.38

CTw

1.00

MTw

1.00