文件名称：pyModelChecking:Python模型检查套件
文件大小：73KB
文件格式：ZIP
更新时间：2024-05-30 04:36:14
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)