zoukankan      html  css  js  c++  java
  • 【转】ModelChecking工具UPPAAL安装与简介

    UPPAAL是使用较多的基于时间自动机的验证工具。它是由丹麦Aalborg大学和瑞士Uppsala大学联合开发的对实时系统模拟和验证的工具。时间自动机是对自动机理论的扩展,提供了形式化的方法来建立和分析实时系统的行为,在模型检测方面有着重要的应用。时间自动机为实时系统的自动化分析和验证提供了一种形式化的理论模型。

    在http://www.uppaal.org/网站下载UPPAAl安装包,安装UPPAAL要求有java 运行环境,并且UPPAAL4.1版本需要比较高的JDK 版本,如1.7,1.8版本。

    下载好UPPAAL压缩文件之后,解压,会有一个uppaal.jar文件,安装该文件就可以安装好UPPAAL。

    uppaal.jar是一个可执行的jar包,可执行的jar包包含了:

    Main-Class: com.uppaal.gui.Main
    SplashScreen-Image: com/uppaal/resource/images/splash40.png
    Class-Path: lib/jh.jar lib/jlfgr-1_0.jar lib/jsr173_1.0_api.jar lib/js
     r173_1.0_ri.jar lib/swixml.jar lib/jdom.jar lib/editor.jar lib/model.

    在控制台运行命令:

    java -jar uppaal.jar所在目录
    就可以成功安装UPPAAL。
    ---------------------
    作者:yuedaowenIT
    来源:CSDN
    原文:https://blog.csdn.net/yuedaowenIT/article/details/45558203
    版权声明:本文为博主原创文章,转载请附上博文链接!

  • 相关阅读:
    数学之道-微积分
    mysql join实现方式
    python pip源配置
    python使用tesseract-ocr完成验证码识别
    Linux和Windows下查看环境变量方法对比
    把大象装进冰箱的N种方法
    mysql 取当前日期对应的周一或周日
    window 安装 Twisted 遇到的问题
    Java泛型
    Android之Adapter用法总结
  • 原文地址:https://www.cnblogs.com/Pusteblume/p/10853177.html
Copyright © 2011-2022 走看看