张苗苗；安、杰；沈伟；祖、权 扩展线性持续时间不变量模型检验的进展。 （中文。英文摘要） Zbl 1449.68052号 广州大学自然科学系。 18，第2期，10-16（2019）. 摘要：扩展线性持续时间不变量（ELDI）是持续时间演算（DC）的一个重要子集，于20世纪90年代提出。它引入了持续时间的概念，即状态表达式在参考区间上的积分，并已成为描述和分析实时系统的主要方法之一。由于DC的内容丰富，并发表了相关的评论和专著，因此我们将重点放在ELDI的模型检验研究过程中。本文首先介绍了DC、LDI及其扩展，然后讨论了LDI和ELDI的模型检查研究，重点介绍了ELDI在离散时间和连续时间语义模型检查方面的最新成果。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 关键词：时段演算；扩展线性持续时间不变量；模型检查；实时系统 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhang}等人，广州大学自然科学学院。18、第2号、第10-16号（2019年；Zbl 1449.68052）