×

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

最新的 引文 关联
马尔科·艾尔斯;Severin Meier;彼得·米勒

野生产品程序：改造程序验证器以检查信息流安全性。 （英语） Zbl 1493.68106号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 718-741 (2021).
MSC公司：68号30 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Eilers}等人，Lect。注释计算。科学。12759718--741（2021年；Zbl 1493.68106）
全文： 内政部
OA许可证
阿夫申·阿米吉;斯特凡·布隆;赛义德·达拉比;玛丽克·赫斯曼;沃伊切赫·莫斯托夫斯基;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基

使用VerCors验证并发系统。 （英语） 兹比尔1445.68131

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483，172-216（2014年）。
MSC公司：60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Amighi}等人，Lect。注释计算。科学。8483172-216（2014年；兹bl 1445.68131）
全文： 内政部 链接
彼得·科林伯恩;阿拉斯泰尔·唐纳森。;杰罗·凯特马;沙兹·卡迪尔

用于分析和验证GPU内核的交错和锁步语义。 （英语） Zbl 1381.68139号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792270-289（2013）。
MSC公司：68问题55 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{P.Collingbourne}等人，Lect。注释计算。科学。7792、270--289（2013年；Zbl 1381.68139）
全文： 内政部
塔法特，阿斯玛;西尔万·博尔梅;克劳德·马奇

面向对象程序的精化方法。 （英语） Zbl 1308.68048号

Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。国际会议，FoVeOOS 2010，法国巴黎，2010年6月28日至30日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528153-167（2011）。
MSC公司：68号30 68甲19 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Tafat}等人，Lect。注释计算。科学。6528153-167（2011年；Zbl 1308.68048）
全文： 内政部 链接
维萨尔·沃达尼

堆操作C程序的静态数据竞争分析。 （英语） Zbl 1360.68004号

塔尔图大学数学学位论文64.塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学与计算机科学学院（Diss.）（ISBN 978-9949-19-508-4/pbk；978-9949-19-509-1/ebook）。137页。(2010).
MSC公司：2002年8月 2007年7月68日 68甲15 68甲19 68N20型 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛V.Vojdani｝，堆操作C程序的静态数据竞赛分析。塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学与计算机科学学院（Diss.）（2010；Zbl 1360.68004）
全文： 链接 链接
亚历山大·萨默斯。;索菲亚·德罗索波卢

深思熟虑的推理和复合设计模式。 （英语） Zbl 1273.68242号

Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，VMCAI 2010，马德里，西班牙，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。《计算机科学讲义》5944328-344（2010）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.J.Summers}和\textit{S.Drossopoulou}，莱克特。注释计算。科学。5944328-344（2010年；兹比尔1273.68242）
全文： 内政部
Leino，K.Rustan M。;彼得·米勒

验证多线程程序的基础。 （英语） Zbl 1234.68078号

朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502378-393（2009）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}和\textit{P.Müller}，Lect。注释计算。科学。5502378-393（2009年；Zbl 1234.68078）
全文： 内政部
扬尼克·莫伊

模块断言检查的充分前提条件。 （英语） Zbl 1138.68455号

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学讲座笔记4905188-202（2008）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{Y.Moy}，莱克特。注释计算。科学。4905188-202（2008年；Zbl 1138.68455）
全文： 内政部
Leino，K.Rustan M。;沃尔夫拉姆·舒尔特

一种用于多线程面向对象语言的验证编译器。 （英语） 兹比尔1153.68016

Broy，Manfred（编辑）等人，《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-731-4/hbk）。北约科学安全系列。D： 信息和通信安全9，351-416（2007）。
MSC公司：68N20型 68甲15 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}和\textit{W.Schulte}，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。351--416（2007；Zbl 1153.68016）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件