pyModelChecking: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 。 >>