×

规范指南,以避免国家空间爆炸问题。 (英语) 兹比尔1353.68178

Arbab,Farhad(编辑)等人,《软件工程基础》,第四届IPM国际会议,FSEN 2011,伊朗德黑兰,2011年4月20日至22日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29319-1/pbk)。计算机科学课堂讲稿7141112-127(2012)。
总结:在过去二十年中,我们对大量系统的行为进行了建模。我们注意到,不同的建模风格对建模系统状态空间的大小有很大影响。差异如此之大,以至于一些规范样式导致了太多的状态来验证模型的正确性,而对于其他样式,状态的数量太少,以至于验证是一项简单的活动。在本文中,我们通过提供七个规范指南总结了我们的经验,其中五个规范指南得到了更详细的制定。
关于整个系列,请参见[Zbl 1241.68006号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接