搜索资源列表

  1. uppaal

    0下载：
  2. uppall开发工具的应用，可以用来验证系统的可靠性-uppall application development tools can be used to verify the reliability of the system

  3. 所属分类：软件工程

    • 发布日期：2025-01-12
    • 文件大小：722kb
    • 提供者：tianbin

  1. uppaal-4.0.13-aca

    0下载：
  2. Uppal is a prototype verification tool to maodel and verify prototype

  3. 所属分类：软件工程

    • 发布日期：2025-01-12
    • 文件大小：5.4mb
    • 提供者：Arpit Agarwal

  1. BBS-afadl04

    0下载：
  2. this document describes the modelisation and the the verifecation with uppaal

  3. 所属分类：文件格式

    • 发布日期：2025-01-12
    • 文件大小：167kb
    • 提供者：abba

  1. uppaal-tiga

    0下载：
  2. 模型验证工具 模型验证工具模型验证工具 模型验证工具-modal checking sadfjksjdfkjkj

  3. 所属分类：编译器/词法分析

    • 发布日期：2025-01-12
    • 文件大小：13.92mb
    • 提供者：asdf

源码中国 www.ymcn.org