马修·德怀尔。;约翰·哈特克利夫;罗比;文卡特斯·普拉萨德·兰加纳思 在并行面向对象程序的部分顺序缩减中利用对象转义和锁定信息。 (英语) Zbl 1090.68020号 形式方法系统。设计。 25,编号2-3199-240(2004).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Dwyer}等人,《形式方法系统》。设计。25,编号2--3,199-240(2004;Zbl 1090.68020) 全文: 内政部
纪尧姆·布拉特;多龙·德鲁辛斯基;迪米特拉·吉安娜科波卢;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞,迈克;科琳娜·帕萨雷努;阿尔诺·维尼特;威廉·维瑟;华盛顿,里奇 火星探测器软件验证和确认工具的实验评估。 (英语) Zbl 1078.68665号 形式方法系统。设计。 25,第2-3号,167-198(2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Brat}等人,《表格方法系统》。设计。25,编号2--3,167--198(2004;Zbl 1078.68665) 全文: 内政部
查基,S。;E.克拉克。;A.格罗斯。;沃克宁,J。;O·斯特里赫曼。;约拉夫,K。 顺序和并发C程序的有效验证。 (英语) Zbl 1101.68677号 形式方法系统。设计。 25,编号2-3,129-166(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。25,编号2--3,129--166(2004;Zbl 1101.68677) 全文: 内政部
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 使用SAT的ANSI-C程序的谓词抽象。 (英语) Zbl 1090.68022号 形式方法系统。设计。 25,编号2-3,105-127(2004).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《表格方法系统》。设计。25,编号2--3,105-127(2004;Zbl 1090.68022) 全文: 内政部