【文件属性】：
文件名称：pyModelChecking:Python模型检查套件
文件大小：73KB
文件格式：ZIP
更新时间：2021-05-10 10:49:34
Python
pyModelChecking
pyModelChecking是一个小的Python模型检查包。 目前，它可以表示， ， 和公式，并且提供了LTL，CTL和CTL *的方法。 将来，它将有望支持符号模型检查。
文献资料
您可以找到pyModelChecking文档。 它包含：
Kripke结构，时间逻辑和模型检查的简要介绍
用户手册和一些示例
API手册
例子
首先，导入包中的所有功能和所有类。
>> > from pyModelChecking import *
为了表示Kripke结构，请使用Kripke类。
>>> K=Kripke(R=[(0,0),(0,1),(1,2),(2,2),(3,3)],
... L={0: set(['p']), 1:set(['p','q']),3:set(['p'])})
可以通过导入CTL模块来表示CTL 。
>>
【文件预览】：
pyModelChecking-master
----MANIFEST.in(26B)
----requirements.txt(12B)
----pyModelChecking()
--------kripke.py(8KB)
--------PL()
--------parser.py(3KB)
--------__init__.py(497B)
--------LTL()
--------CTL()
--------BDD()
--------CTLS()
--------graph.py(7KB)
--------tests()
--------language.py(8KB)
----doc()
--------source()
----LICENSE(769B)
----setup.cfg(1KB)
----setup.py(1KB)
----README.md(5KB)
----GPLv2.txt(18KB)
----.gitignore(675B)