×

找到11个文档（结果1-11）

最新的 引文 关联
查基，S。；E.克拉克。；北卡罗来纳州基德。；代表，T。；T·图利。

使用递归调用验证并发消息传递C程序。 （英语） Zbl 1180.68109号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日，作为欧洲软件理论和实践联合会议的一部分，在奥地利维也纳举行了第12届国际会议，2006年TACAS。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，334-349（2006）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。3920、334--349（2006年；Zbl 1180.68109）
全文： 内政部
萨加·查基；埃德蒙·克拉克；奥尔纳·格伦伯格；约尔·瓦克宁；娜塔莎·莎莉吉娜；泰瑟·图利；赫尔穆特·维思

分支时间规范的状态/事件软件验证。 （英语） 兹比尔1137.68432

Romijn，Judi（编辑）等人，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，53-69（2005）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。3771、53--69（2005年；Zbl 1137.68432）
全文： 内政部
娜塔莎·莎莉吉娜；萨加·查基；埃德蒙·克拉克；尼尚·辛哈

动态组件替代性分析。 （英语） Zbl 1120.68421号

Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582，512-528（2005）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Sharygina}等人，Lect。注释计算。科学。3582512-528（2005；Zbl 1120.68421）
全文： 内政部
萨加·查基；埃德蒙·克拉克；尼尚·辛哈；普拉桑纳·塔蒂

模拟一致性的自动假设保证推理。 （英语） Zbl 1081.68612号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576534-547（2005）。
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。3576、534--547（2005；Zbl 1081.68612）
全文： 内政部
萨加·查基；埃德蒙·克拉克（Edmund M.Clarke）。；约尔·瓦克宁；娜塔莎·莎莉吉娜；尼尚·辛哈

基于状态/事件的软件模型检查。 （英语） Zbl 1196.68129号

Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999128-147（2004）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。2999128-147（2004年；Zbl 1196.68129）
全文： 内政部
萨加·查基；约尔·瓦克宁；凯伦·约拉夫；埃德蒙·克拉克

并发C程序的自动组合抽象细化：一种两级方法。 （英语） Zbl 1271.68081号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，417-432（2003）。
MSC公司：68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，《电子》。注释Theor。计算。科学。89，No.3，417--432（2003；Zbl 1271.68081）
全文： 链接
萨加·查基；埃德蒙·克拉克；亚历克斯·格罗斯；斯特里赫曼（Ofer Strichman）

使用最少谓词的谓词抽象。 （英语） Zbl 1179.68033号

Geist，Daniel（编辑）等人，《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20363-X/pbk）。莱克特。注释计算。科学。2860, 19-34 (2003).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。2860、19-34（2003年；Zbl 1179.68033）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件