提交软件

开发者 peptool.sf.net

  • The PEP tool 免费

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