×

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

最新的 引文 关联
马凯曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特

模型检验的反例指导预言模数为数组理论。 （英语） Zbl 1467.68089号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 113-132 (2021).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Mann｝等人，Lect。注释计算。科学。12651、113--132（2021年；Zbl 1467.68089）
全文： DOI程序 arXiv公司
张福源;赵永旺;大卫·萨南;刘，杨;Tiu，Alwen先生;林尚伟;孙骏

共享变量并发程序的组合推理。 （英语） Zbl 1460.68067号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 523-541 (2018).
MSC公司：60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Zhang}等人，Lect。注释计算。科学。10951、523--541（2018；Zbl 1460.68067）
全文： DOI程序 arXiv公司 链接
阿尔蒂·古普塔;维尼特·卡隆;卡迪尔，沙兹;泰瑟·图利

模型检查并发程序。 （英语） Zbl 1392.68251号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。573-611 (2018).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Gupta}等人，in：模型检查手册。查姆：斯普林格。573--611（2018；Zbl 1392.68251）
全文： DOI程序
迪米特拉·吉安娜科波卢;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。

组合推理。 （英语） 兹比尔1392.68249

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。345-383 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Giannakopoulou}等人，in：模型检查手册。查姆：斯普林格。345--383（2018年；Zbl 1392.68249）
全文： DOI程序
拉斐尔·莫纳特;米尼，安托万

使用关系干扰抽象对并发程序进行精确的线程模块抽象解释。 （英语） 兹比尔1484.68050

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 386-404 (2017).
MSC公司：68号30 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Monat}和\textit{A.Miné}，莱克特。注释计算。科学。10145386--404（2017；Zbl 1484.68050）
全文： DOI程序 哈尔
Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。

局部对称性和成分验证。 （英语） Zbl 1326.68103号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148348-362（2012）。
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Namjoshi}和\textit{R.J.Trefler}，莱克特。注释计算。科学。7148348--362（2012年；Zbl 1326.68103）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件