×

找到7个文档(结果1-7)

使用交互树和VST验证HTTP密钥值服务器。 (英语) Zbl 07699449号

Cohen,Liron(ed.)等人,第十二届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。193,第32条,第19页(2021年)。
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\mathcal{Q}\)电线实践:Coq中量子电路的形式验证。 (英语) Zbl 1486.81065号

Coecke,Bob(编辑)等人,《第14届量子物理与逻辑国际会议论文集》,QPL'17,荷兰奈梅亨,2017年7月3-7日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)266119-132(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

呼叫推送值的形式方程理论。 (英语) Zbl 1511.68086号

Avigad,Jeremy(编辑)等,交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP,作为联邦逻辑会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10895, 523-541 (2018).
MSC公司:68号30 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

VPHL:概率程序的验证部分正确性逻辑。 (英语) Zbl 1351.68080号

Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,351-367,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

规范化验证程序转换的LLVM中间表示。 (英语) Zbl 1321.68207号

第39届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集,POPL’12,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1083-3)。427-440 (2012).
MSC公司:68号30 68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于规范化编译器的计算支配者的机械化验证。 (英语) Zbl 1383.68020号

Chris Hawblitzel等人,《认证程序和证明》。2012年12月13日至15日在日本京都举行的第二届国际会议,CPP 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-35307-9/pbk)。计算机科学课堂讲稿7679,27-42(2012)。
MSC公司:68N20型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AURA:用于授权和审计的编程语言。 (英语) Zbl 1323.68078号

2008年9月20日至28日,加拿大不列颠哥伦比亚省维多利亚市,第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-919-7)。ACM SIGPLAN Notices 43,No.9,27-38(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段