雅各布兹维奇梅尔 尖端的计时分析技术。 （英语） Zbl 1237.68067号 Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，303-305，仅电子版（2010年）。 摘要：本文概述了我目前在维也纳理工大学进行的时序分析研究。在对主题进行简短介绍后，接着描述了一种依赖CLP的方法，即隐式路径枚举技术（IPET）。该技术也用于计算机语言研究所（TuBound）开发的工具中。当前的时序分析工具存在一些缺陷，值得进一步研究，以获得比当前最先进的时序分析方法更好的结果。关于整个系列，请参见[Zbl 1213.68040号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：验证;时间分析;硬实时系统;静态分析;最坏情况下的执行时间;环入变体;嵌套循环;符号计算 软件：基础知识 PDF格式BibTeX公司 XML格式引用 \textit{J.Zwirchmayr}，LIPIcs——莱布尼茨国际程序。通知。7303——305（2010年；Zbl 1237.68067） 全文： 内政部 链接