摘要
预览
工具书类
Bergstra J.A.、Middelburg C.A.、Usenko Y.S.离散时间过程代数和SDL的语义。 技术报告SEN-R9809,CWI,1998年6月。 Bodin E.V.、Kozura V.E.和Shilov N.V.在规范和验证项目REAL中对μ演算进行模型检查的实验。 程序。 第五届新西兰正式项目开发座谈会,IIMS技术报告99-1,1999年1月18日。 Bošnački D.等人,利用Spin对SDL进行模型检查,TACAS/ETAPS 2000,Lect。 Comp.中的注释。 科学。, 2000, 363–377. Bozga M.等人。IF:定时异步系统的中间表示和验证环境,FM'99,第一卷,Lect。 Comp.中的注释。 科学。, 1999年,v.1708,307–327。 Broy M.走向规范和描述语言SDL的正式基础,计算的形式方面,v.3,n.1,1991,21–57。 Broy M.,Grosu R.Klein C.实时与异步消息传递的协调,Lect。 计算机科学笔记。, 1997年,第1313、182-200节。 Cavalli A.R.,Horn F.使用有限状态机和时间逻辑证明规范属性,Proc。 第七届IFIP协议规范、测试和验证大会,1987年,221–233。 Chandy K.M.,Misra J.并行程序设计,Addison-Wesley,1988年。 Clarke E.M.、Emerson E.A.、Sistla A.P.使用时序逻辑规范对有限状态并发系统进行自动验证,ACM Trans。 编程语言与系统,1986年, 8 , 编号2 , 244–263. Cleaveland R.、Klein M.、Steffen B.《模态微积分的更快模型检查》,《CAV-92会议录》,加拿大蒙特利尔,Lect。 Comp.中的注释。 科学。, 第663节,第410-422页。 Eschbach R.等人。《SDL-2000的形式语义:基于抽象SDL机器的编译方法》,ASM 2000,Lect。 Comp.中的注释。 科学。, 2000年,v.1912,242–265。 Gammelgaard A.,Kristensen J.E.从SDL翻译到CRL的正确性证明,Proc。 第六届SDL论坛,1993年,205-219。 Gibson P.、Mery D.《电话功能验证:将SDL转换为TLA+》,CRIN报告,南希,1996年12月。 Harel D.一阶动态逻辑,Lect。 Comp.中的注释。 科学。, 第68节,1979年。 Lamport L.并发程序的验证和规范- 莱克特。 Comp.中的注释。 科学。, 1994年,第803、347–374节。 Leue S.为SDL规范指定实时要求-基于时序逻辑的方法,Proc。 第15届IFIP实习生。 交响乐团。 协议规范测试。 和Verif.,1995年,华沙,第19-34页。 Manna Z.,Pnueli A.反应和并发系统的时序逻辑。 Springer-Verlag,柏林/纽约,1991年。 Manna Z.,Pnueli A.反应系统的临时验证:安全性。 Springer-Verlag,柏林/纽约,1995年。 Mery D.、Mokkedem A.CROCOS:SDL规范交互验证的集成环境,Lect。 Comp.中的注释。 科学。, 1993年,第663、343–356节。 Neponminaschy V.A.,Shilov N.V.Real92:实时通信过程的系统和属性的组合规范语言,Proc。 编程形式方法及其应用国际会议,新西伯利亚,1993年,Lect。 Comp.中的注释。 科学。, v.735,1993,377–393。 Neponminaschy V.A.、Shilov N.V.、Bodin E.V.《分布式系统模型规范和验证的新语言Basic-REAL》,A.P.Ershov信息系统研究所第65号报告,新西伯利亚,1999年,39页(也可在 http://www.iis.nsk.su/preprints/shilov/bre99/ ) Orava F.SDL规范的形式语义,Proc。 第8届IFIP实习生。 交响乐团。 在协议规范测试中。, 和Verif.,1988年,143–157。 Valiullin R.将静态SDL规范翻译为Basic-REAL,学士论文。 新西伯利亚国立大学信息技术系,2001年(俄语)。
作者信息
作者和附属机构
编辑器信息
编辑和附属机构
权利和权限
版权信息
关于本论文
引用本文
下载引文
内政部 : https://doi.org/10.1007/3-540-47884-1_5 出版 : 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-540-43703-1 在线ISBN : 978-3-540-47884-3 电子书包 : 斯普林格图书档案馆