×

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

最新的 引文 关联
弗雷德里克·贝松;布兰奇，桑德琳;亚历山大·丹;托马斯·延森;皮埃尔·威尔克

编译沙盒：正式验证的软件故障隔离。 （英文） Zbl 1524.68065号

Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11423, 499-524 (2019).
MSC公司：68N20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Besson}等人，Lect。注释计算。科学。11423499-524（2019年；兹比尔1524.68065）
全文： 内政部
弗雷德里克·贝松;布兰奇，桑德琳;威尔克，皮埃尔

CompCertS：一个经过内存软件验证的C编译器，使用指针作为整数语义。 （英文） Zbl 1468.68063号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10499, 81-97 (2017).
MSC公司：68N20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Besson}等人，Lect。注释计算。科学。10499，81-97（2017；Zbl 1468.68063）
全文： 内政部 哈尔
布兰奇，桑德琳;文森特·拉波特;大卫·皮哈迪

用于已验证的C静态分析器的抽象内存函子。 （英文） Zbl 1361.68058号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。325-337 (2016).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，《第21届ACM SIGPLAN函数编程国际会议论文集》，ICFP’16，日本奈良，2016年9月18-22日。纽约州纽约市：计算机协会（ACM）。325--337（2016；Zbl 1361.68058）
全文： 内政部 哈尔
布兰奇，桑德琳;德尔芬·德曼吉;大卫·皮哈迪

验证支配树的快速验证优势测试。 （英文） Zbl 1466.68030号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。第9236页，第84-99页（2015年）。
MSC公司：68N20型 68伏15 68版本20
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，Lect。注释计算。科学。9236，84-99（2015；Zbl 1466.68030）
全文： 内政部 哈尔
布兰奇，桑德琳;文森特·拉波特;大卫·皮哈迪

已验证用于反汇编低级自修改代码的抽象解释技术。 （英文） Zbl 1417.68030号

Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日，第五届国际会议，ITP 2014，作为2014年维也纳逻辑之夏VSL的一部分，在奥地利维也纳举行。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8558, 128-143 (2014).
MSC公司：68N20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，Lect。注释计算。科学。8558，128--143（2014；Zbl 1417.68030）
全文： 内政部 哈尔
安德鲁·W·阿佩尔。;罗伯特·多金斯;阿奎那·霍伯;伦纳特·贝林格;约西亚·多兹;戈登·斯图尔特;布兰奇，桑德琳;泽维尔·勒罗伊

认证编译器的程序逻辑。 （英文） Zbl 1298.68009号

剑桥：剑桥大学出版社（ISBN 978-1-107-04801-0/hbk；978-1-107-25655-2/电子书）。x、 第458页。(2014).
审核人：约翰·格奥尔格·格兰斯特伦（苏黎世）
MSC公司：68-02 68N20型 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Appel}等人，《认证编译器的程序逻辑》。剑桥：剑桥大学出版社（2014；Zbl 1298.68009）
全文： 内政部
布兰奇，桑德琳（编辑）;克里斯汀·保林·莫林（编辑）;大卫·皮哈迪（编辑）

交互式定理证明。2013年7月22日至26日，第四届国际会议，ITP 2013，法国雷恩。诉讼程序。 （英文） Zbl 1268.68006号

计算机科学课堂讲稿7998.柏林：施普林格出版社（ISBN 978-3-642-39633-5/pbk）。xi，第498页。(2013).
MSC公司：68-06 68吨15 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}（编辑）等，交互式定理证明。2013年7月22日至26日，第四届国际会议，ITP 2013，法国雷恩。诉讼程序。柏林：施普林格出版社（2013；Zbl 1268.68006）
全文： 内政部
布兰奇，桑德琳;贝诺·罗比拉德;安德鲁·W·阿佩尔。

合并图形-颜色寄存器分配的形式验证。 （英文） Zbl 1260.68227号

Andrew D.Gordon（编辑），《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。《计算机科学讲义》6012145-164（2010）。
MSC公司：60年第68季度 68甲18 68N20型 68兰特 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，Lect。注释计算。科学。6012145-164（2010年；Zbl 1260.68227）
全文： 内政部
安德鲁·W·阿佩尔。;布兰奇，桑德琳

小步骤Cminor的分离逻辑。 （英文） Zbl 1144.68351号

Schneider，Klaus（编辑）等人，《高阶逻辑中的定理证明》。第20届国际会议，2007年TPHOL，德国凯泽斯劳滕，2007年9月10日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74590-7/pbk）。计算机科学课堂讲稿4732，5-21（2007）。
MSC公司：68吨15 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Appel}和\textit{S.Blazy}，莱克特。注释计算。科学。4732，5-21（2007年；兹bl 1144.68351）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件