乌帕阿尔

Uppaal是一个用于实时系统建模、仿真和验证的集成工具环境,由丹麦奥尔堡大学计算机科学基础研究和瑞典乌普萨拉大学信息技术系联合开发。它适用于可以建模为具有有限控制结构和实值时钟的非确定性过程集合的系统,通过信道或共享变量进行通信[WPD94,LPW97b]。典型的应用领域包括实时控制器和通信协议,尤其是那些定时方面至关重要的领域。


zbMATH中的参考文献(参考文献634篇,3标准条款)

显示结果601到620,共634个。
按年份排序(引用)
  1. 布耶,帕特里夏;哑铃,凯瑟琳;弗勒里,伊曼纽;时间自动机是可更新的吗(2000年)
  2. 布林克斯马,埃德;马德尔,安吉丽卡:PLC控制计划的验证和优化(2000)
  3. Cardell Oliver,Rachel:具有时间自动机规范的实时系统的一致性测试(2000)
  4. 卡塞兹,弗朗克;拉鲁西尼,弗兰çois:基于商和约束求解的混合系统模型检验(2000)
  5. 卡塞兹,弗朗克;拉森,金:秒表令人印象深刻的力量(2000)
  6. 科拉迪尼,弗拉维奥(编辑);因韦拉尔迪,保拉(编辑):MTCS 2000。2000年8月26日美国宾夕法尼亚州大学公园州立学院时间紧迫系统模型国际卫星讲习班论文集(2000年)
  7. 埃斯帕扎,哈维尔;Podelski,Andreas:过程间并行流图的前*和后*的有效算法(2000)
  8. 哈尔克亚,孤独;哈维,凯伦;Ingolfsdottir,Anna:使用Uppaal验证乐高积木调度器(2000)
  9. 哈维伦德,克劳斯;Pressburger,Thomas:使用JAVA PathFinder进行JAVA程序的模型检查(2000)
  10. 詹森,亨里克·埃杰斯博;拉森,金·古德斯兰德;斯卡,阿恩:扩大规模。使用组合和抽象的实时系统自动验证(2000)
  11. 约瑟夫,马太(编):实时与容错系统中的形式化技术。第六届国际研讨会,FTRTFT 2000,印度浦那,2000年9月20日至22日。诉讼(2000年)
  12. Larsen,Kim Guldstrand:定时和混合系统的验证(2000)
  13. 拉尔森,弗雷德里克;佩特松,保罗;王毅:模型检验定时系统中的内存块遍历问题(2000)
  14. Mukhopadhayy,苏拉提克;Podelski,Andreas:时序逻辑过程的模型检验(2000)
  15. 南乔希,基达尔S。;库山:自动抽象的语法程序转换(2000)
  16. 丙酮,卢卡;拉鲁西尼,弗兰ç你们的模型检查准时吗?时间模态逻辑模型检验的复杂性(1999)
  17. 阿鲁尔,拉吉耶夫;固定,利莫;Henzinger,Thomas A.:事件时钟自动机:时间自动机的可确定类(1999)
  18. 贝尔曼,G。;拉森,K。G、 。;皮尔逊,J。;魏斯,魏斯。;Yi,W.:利用钟差图进行有效的定时可达性分析(1999)
  19. Bé雷德,Bé心房;Fribourg,Laurent:用实数算法对(定时)Petri网的可达性分析(1999)
  20. Bé雷德,Bé心房;friebourg,Laurent:参数实时程序的自动验证:ABR一致性协议(1999)