注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. PAT3.Setup.3.5.1.64.msi

  2. 是由新加坡国立大学开发的一款形式化建模与验证工具集，支持进程代数、实时进程代数、时间自动机等多种建模语言。PAT工具的人机交互界面友好，支持多种验证方法，包括精化验证、死锁验证、可达性验证、LTL性质验证等。

  3. 所属分类：其它

    • 发布日期：2020-04-15
    • 文件大小：13mb
    • 提供者：fbj_bai