Jan Friso,格鲁特;蒂姆·库特斯(Tim W.D.M.Kouters)。;阿马尔·奥萨韦兰 规范指南,以避免国家空间爆炸问题。 (英语) 兹比尔1353.68178 Arbab,Farhad(编辑)等人,《软件工程基础》,第四届IPM国际会议,FSEN 2011,伊朗德黑兰,2011年4月20日至22日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29319-1/pbk)。计算机科学课堂讲稿7141112-127(2012)。 总结:在过去二十年中,我们对大量系统的行为进行了建模。我们注意到,不同的建模风格对建模系统状态空间的大小有很大影响。差异如此之大,以至于一些规范样式导致了太多的状态来验证模型的正确性,而对于其他样式,状态的数量太少,以至于验证是一项简单的活动。在本文中,我们通过提供七个规范指南总结了我们的经验,其中五个规范指南得到了更详细的制定。关于整个系列,请参见[Zbl 1241.68006号]. 引用于2文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:验证设计;规范指南;状态空间爆炸;模型检查 软件:mCRL2型;Reo公司;CADP公司 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,Lect。注释计算。科学。7141、112-127(2012;Zbl 1353.68178) 全文: 内政部 链接