此页面的菜单:

乌帕阿尔
图1:乌帕阿尔在屏幕上。

乌帕阿尔是一个集成工具环境,用于建模、验证和验证实时系统,建模为时间自动机网络,并扩展了数据类型(有界整数、数组等)。

该工具是在信息技术系瑞典乌普萨拉大学计算机科学系在丹麦奥尔堡大学。

下载

新闻:目前官方发布的是乌帕阿尔4.0.15(2019年11月18日)。当前版本是

自2008年2月26日起,我们还发布了该工具的开发快照。当前版本是2019年11月26日发布的4.1.24。

乌普萨拉大学 奥尔堡大学

许可证

这个乌帕阿尔工具免费用于学术界的非商业应用只有. 商业应用需要商业许可证。请看下载剖面www.uppaal.com网站对于更多信息。

了解更多关于乌帕阿尔,读这个短的介绍. 进一步信息可在本网站的网页中找到关于,文档,下载,和示例.

邮件列表

乌帕阿尔有一个开放的讨论论坛googlegroups的用户群。加入或发帖至论坛,请参阅讨论论坛第页。还有乌帕阿尔Stackoverflow上的标记.应使用缺陷跟踪系统.若要直接向开发团队发送电子邮件,请使用uppaal(at)列表(点)it(点)uu(点)se。