Analyzer Component Framework-开源 时间:2021-05-28 08:34:50 【文件属性】: 文件名称:Analyzer Component Framework-开源 文件大小:272KB 文件格式:GZ 更新时间:2021-05-28 08:34:50 开源软件 ACF是用于编写模型检查器的框架。 ACF建立在以下基本观察之上:大多数模型检查算法的结构均独立于用于描述系统的形式主义。 立即下载