Sylvain Conchon公司;戴维·德克勒克;法提哈扎伊迪 TSO弱记忆模型的参数化模型检验。 (英语) Zbl 1468.68123号 J.汽车。推理 64,第7期,1307-1330(2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,J.Autom。推理64,编号7,1307-1330(2020;兹bl 1468.68123) 全文: 内政部
Sylvain Conchon公司;大卫·德克勒克;法提哈扎伊迪 隔间-\(\mathcal{W}\):弱内存上的参数化模型检查。 (英语) Zbl 1468.68122号 Galmiche,Didier(编辑)等人,《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10900, 152-160 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,Lect。注释计算。科学。10900152-160(2018年;兹比尔1468.68122) 全文: 内政部