The PEP tool 2.0b

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

关于 The PEP tool

PEP 是并行系统的建模和验证框架,提供大量不同的建模语言和验证技术(例如 SDL、Petri 网和模型检查)