×

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

最新的 引文 关联
南乔希，Kedar S。;薛安东

WebAssembly的自认证编译框架。 （英语） Zbl 1472.68032号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 127-148 (2021).
MSC公司：68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Namjoshi}和\textit{A.Xue}，Lect。注释计算。科学。12597，127--148（2021；Zbl 1472.68032）
全文： 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼

将拓扑证明与模型检查集成到仪器迭代设计中。 （英语） Zbl 1507.68195号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 53-74 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Menghi｝等人，Lect。注释计算。科学。12076，53-74（2020；Zbl 1507.68195）
全文： 内政部 arXiv公司
西蒙·威默;冯·穆提乌斯，约书亚

已验证定时自动机可达性检查的证书。 （英语） Zbl 1507.68200号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 425-443 (2020).
MSC公司：60年第68季度 65年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛S.Wimmer｝和\textit｛J.von Mutius｝，Lect。注释计算。科学。12078、425--443（2020年；Zbl 1507.68200）
全文： 内政部
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔

Farkas证书和概率可达性约束的最小见证人。 （英语） Zbl 1507.68187号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187）
全文： 内政部 arXiv公司
伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。

证明被驳斥者：符号模型检查器作为证明生成器。 （英语） Zbl 1274.68174号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，221-236（2010）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{I.Balaban}等人，Lect。注释计算。科学。5930、221--236（2010年；Zbl 1274.68174）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件