下载地址：
下载地址1（本站为飞网专业下载站，域名：down.cfei.net）
资源简介：
Uppaal是一个集成化的对实时系统建模、确认和验证的工具，它采用一组带有整型变量的时间自动机对实时系统的行为进行模拟和验证，采用的模型检查机制可以避免状态空间的爆炸，已被广泛的应用于算法分析和协议验证方面。Uppaal使用的是客户端-服务器的系统结构，分为图形界面和模型检测引擎。
飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
