金·古德斯特兰·拉森 验证定时和混合系统。 （英语） Zbl 0986.68777号 Nielsen，Mogens（编辑）等人，《Petri网的应用和理论2000》。2000年6月26日至30日，第21届国际会议，ICATPN 2000，丹麦奥胡斯。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1825, 39-42 (2000). 摘要：Uppaal是一个用于实时和混合系统建模、仿真和验证的集成工具环境，由丹麦奥尔堡大学的金砖四国和瑞典乌普萨拉大学的DoCS联合开发。在本次演讲中，我们将回顾Uppaal当前发布版本的状态，并更详细地描述将纳入该工具未来版本的正在进行的开发。关于整个系列，请参见[Zbl 0941.00038号]. MSC公司： 68单位99 计算方法和应用 68平方英寸 模拟（MSC2010） 68个M12 网络协议 93C83号 涉及计算机的控制/观察系统（过程控制等） 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}，莱克特。注释计算。科学。1825，39-42（2000年；兹bl 0986.68777）