研究通信有限状态机的总状态空间
total-space的Python项目详细描述
研究通信有限状态机的总状态空间。具体地说，
给定一个由多个代理组成的系统模型，其中每个代理都是一个不确定的状态机，该状态机响应时间或接收带有
某些可能操作之一的消息，其中每个这样的操作可以更改代理状态和/或向其他代理发送
消息；然后，该包将生成整个系统的总可能状态空间，验证模型的完整性，验证每个系统状态是否具有附加的任意正确性标准，并以各种方式可视化状态和转换。
给定一个由多个代理组成的系统模型，其中每个代理都是一个不确定的状态机，该状态机响应时间或接收带有
某些可能操作之一的消息，其中每个这样的操作可以更改代理状态和/或向其他代理发送
消息；然后，该包将生成整个系统的总可能状态空间，验证模型的完整性，验证每个系统状态是否具有附加的任意正确性标准，并以各种方式可视化状态和转换。
- 项目
标签：
欢迎加入QQ群-->： 979659372
