尼古拉·贝内什;Křetínský,简;拉森,金·G。;Møller,Mikael H。;吉·斯尔巴 参数模态转换系统。 (英语) Zbl 1348.68120号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,275-289(2011)。 概要:模态转换系统(MTS)是一种经过充分研究的反应系统规范形式,支持逐步细化方法。尽管形式主义有很多优点,但它及其目前已知的扩展无法在精化过程中表达一些实际需要的方面,如排他性、条件性和持久性选择。我们引入了一种称为参数模态转换系统(PMTS)的新模型,以及克服许多限制的通用模态精化概念,并研究了模态精化检查的计算复杂性。关于整个系列,请参见[Zbl 1223.68004号]. 引用于7文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。6996,275--289(2011;Zbl 1348.68120) 全文: 内政部