文件名称:lbt-1.2.2.tar
介绍说明－－下载内容均来自于网络，请自行研究使用
在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton
(系统自动生成,下载前可以参看下载内容)
下载文件列表
95302912lbt-1.2.2.tar