FM-Tools Release 2.1

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.形式化方法工具信息集合 ## 研究动机 当前已有多款实现形式化方法（Formal-Methods）技术的工具。本代码仓库收集此类工具的元数据，旨在简化形式化方法工具的复用、集成与协作流程。 本仓库的结构说明可参阅一篇学术论文。 本仓库部分数据的格式化列表可在自动生成的网站查看。 本仓库数据文件的模式定义可在自动生成的网站查阅。