标签： 【转】ModelChecking工具UPPAAL安装与简介

UPPAAL是使用较多的基于时间自动机的验证工具。它是由丹麦Aalborg大学和瑞士Uppsala大学联合开发的对实时系统模拟和验证的工具。时间自动机是对自动机理论的扩展，提供了形式化的方法来建立和分 … Continue reading 【转】ModelChecking工具UPPAAL安装与简介