×

兹马思-数学第一资源

反应系统的时间验证:响应。(英语) Zbl公司 1288.68169
Manna,Zohar(编辑)等人,验证时间。纪念埃米尔·普努埃利的文章。柏林:斯普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲义6200,279-361(2010)。
导言:近二十年前,阿米尔和我(ZM)决定写一系列三卷书,总结(当时)使用时间逻辑技术验证反应系统的技术现状。我们出版了前两卷[Z。甘露A。普努埃利,反应式和并发系统的时序逻辑。规范。柏林等:斯普林格(1991;Zbl 0753.68003); 反应系统的时间验证。安全。柏林等:斯普林格(1995;doi:10.1007/978-1-4612-4222-2)]. 我们写了第三卷前三章的完整草稿,从未出版过。
在这本特辑中,我收录了第三卷的第一章,对原版几乎没有改动。
整个系列请参见[Zbl 1194.68054].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部