文件名称:
timewinder:适用于Python的时间行为逻辑建模-源码
开发工具:
文件大小: 82kb
下载次数: 0
上传时间: 2021-03-22
详细说明：Timewinder是一个Python 3库，用于构建和运行时态逻辑模型。 该库的目标是将形式化的方法，特别是兰莫特的的带给更多的读者。 尽管受到极大启发，Timewinder试图变得更简单，更具可读性并且更加专注于行业。 也就是说，TLA +是一个令人印象深刻的工具，Timewinder并未尝试涵盖TLA +可以完成的全部工作。
该项目旨在实现以下目标：
向更多开发人员介绍建模和形式化方法
增加使用时间逻辑的人员数量
使用非专家也可以阅读的可测试示例模型来改进设计文档
使运行模型变得容易且可自动化， 。
项目状态
该项目仍为Alpha，因此API可能会更改。 请加入，讨论模型，示例和方向。 绝对希望获得帮助，并感激不已！
例子
从数
高级用法
Timewinder以timewinder.object和timewinder.process装饰器timewinder.process
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
