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

搜索资源列表

  1. ASTRail:为此项目发布了Uppaal SMC模型-源码

  2. 阿斯特拉尔 该存储库包含使用Uppaal SMC版本4.1.19（ ）创建的ASTRail项目（ ）的模型。 参考： （FMICS2019） （ ISOLA2018） （IFM2018）

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：48kb
    • 提供者：weixin_42168750

  1. UPPAAL-源码

  2. UPPAAL

  3. 所属分类：其它

    • 发布日期：2021-02-28
    • 文件大小：205kb
    • 提供者：weixin_42174176

  1. b00t-c0d3-源码

  2. b00t-c0d3 受OpenTitan安全启动启发的简化的初始启动代码 目的是使用CBMC / UPPAAL验证引导代码的安全性

  3. 所属分类：其它

  1. 使用UPPAAL进行模型检查：这是INSE 6250的课程项目。它专注于开发模型并使用任何模型检查器工具检查正确性-源码

  2. INSE 6250-软件质量方法论（2020年冬季） 教授：贾马尔·本塔哈（Jamal Bentahar） 项目详情： 主题：使用UPPAAL进行模型检查。 将开发的模型：蒙特利尔地铁上基于Web的售票机。 模型检查器工具： UPPAAL [ ] 为了检查此模型的有效性，我想使用UPPAAL模型检查器，它是用于实时系统建模，验证和验证的集成工具环境。 抽象的 售票机是一种售票机，可生产纸质或电子票或为储值卡或智能卡或用户的移动钱包充值，通常在智能手机上。 例如，售票机在火车站分配火车票

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：27mb
    • 提供者：weixin_42117037

  1. baby-l4：l4语言的微型版本-源码

  2. 核心抽象语法 概述 L4核心概念的抽象语法。 档案： Syntax.hs数据类型的声明（类型，类和实例，模块，表达式，定时自动机） Exec.hs执行/评估表达 TaToUppaal.hs将定时自动机转换为Uppaal XTA格式，请参阅 从L4 BNFC到核心抽象语法的TransL.hs转换。 非常不完整。 Typing.hs抽象语法的类型检查。 Test.hs文件Test.hs用于测试，可以丢弃。 上层 与GUI交互使用 使用java -jar uppaal.jar &启动Upp

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：35kb
    • 提供者：weixin_42101720

  1. uppaal-py：适用于Python的UPPAAL包装器-源码

  2. 上py 适用于Python的UPPAAL包装器。 当前支持读取和写入.xml文件。 适用于Python> = 3.8。 依存关系 安装 通过点： pip install uppaal-py 用法 >> > from uppaalpy import core >> > my_nta = core . NTA . fromXML ( 'test.xml' ) >> > my_nta . to_file ( 'test_new.xml'

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：247kb
    • 提供者：weixin_42125770

  1. uppaal-cli-源码

  2. Uppaal命令行界面 用于uppaal的命令行界面。 要求 uppaal-cli依赖于uppaal64-4.1.20-stratego-7，可在下载。 在运行uppaal-cli之前，请确保已将其安装在您的计算机上并且变量UPPAALPATH指向uppaal存储库的根目录。 uppaal-cli的所有依赖项都包含在此存储库的lib文件夹中，请在构建uppaal-cli之前将它们包括在您的类路径中。 安装 要安装，只需在此存储库中运行以下命令： 制作sudo -E进行安装 它将在文件夹$ UP

  3. 所属分类：其它