提交软件

开发者 syspect.informatik.uni-oldenburg.de

  • Syspect 免费

    Syspect 是一种工具，用于使用 UML2 图来指定系统并将其转换为 CSP-OZ-DC 规范以进行正式验证。