有没有一个Python包可以对有限状态机进行时态逻辑模型检查? 我希望能够将系统建模为有限状态机,并根据时序逻辑规范测试模型的属性。在 我知道StateFlow的模型检查功能,但如果可能的话,我更喜欢使用Python,因为它是开源的。我也知道郁金香是设计和模拟有 ...2024-10-01 已阅读: n次