Analyzer Component Framework-开源

【文件属性】：

文件名称：Analyzer Component Framework-开源

文件大小：272KB

文件格式：GZ

更新时间：2024-06-17 02:21:30

开源软件

ACF是用于编写模型检查器的框架。 ACF建立在以下基本观察之上：大多数模型检查算法的结构均独立于用于描述系统的形式主义。