欢迎！

Uppaal TRON已移到主要位置UPPAAL页面具有下载.

Uppaal公司是用于建模、验证和建模为网络的实时系统的验证时间自动机，用数据类型（有界整数，阵列等）。

Uppaal TRON公司是一种测试工具，基于Uppaal公司发动机，适用于黑匣子定时系统的一致性测试，主要针对各种控制器中常见的嵌入式软件。由在网上，我们意味着测试是派生、执行和检查的同时保持与系统的连接实时。

下面是smart-lamp控制器Java applet的屏幕截图演示和自动生成的信号流程图系统型号：

喜欢Uppaal公司,Uppaal公司晶体管免费用于非营利用途，例如用于评估，研究和教学目的。有关更多详细信息，请阅读这个许可证.