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)
No citations found
It looks like this dataset has no citations.
Mentions (0)
No mentions found
It looks like this dataset has not been mentioned in any sources.
Metrics Over Time
Publication Details
Subfield
Safety Research
Field
Social Sciences
Domain
Social Sciences
Confidence Score
49%
Source
Scholar Data Model