西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 使用MaxDiff对数组进行插值和合并。 (英语) Zbl 07410429号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12650, 268-288 (2021).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,Lect。注释计算。科学。12650268--288(2021;Zbl 07410429) 全文: 内政部 arXiv公司
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 基于SMT的数据软件过程验证:一种模型理论方法。 (英语) 兹比尔1495.68129 数学。结构。计算。科学。 第3271-313号,第30页(2020年).MSC公司:第68季度第60季度 03B70号 03C98号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,数学。结构。计算。科学。30,第3号,271--313(2020;Zbl 1495.68129) 全文: 内政部
阿科斯·哈伊杜;佐尔坦·米斯克 基于CEGAR的模型检查的有效策略。 (英语) Zbl 1468.68131号 J.汽车。推理 64,第6期,1051-1091(2020).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·哈伊杜}和\textit{Z.Micskei},J.Autom。推理64,No.6,1051--1091(2020;Zbl 1468.68131) 全文: 内政部
丹尼斯·佩特尔;维奥里卡Sofrone-Stokkerman 关于参数系统的不变综合。 (英语) Zbl 07178988号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 385-405 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Peuter}和\textit{V.Sofronie-Stokkermans},莱克特。注释计算。科学。11716、385--405(2019;Zbl 07178988) 全文: 内政部 arXiv公司
德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 关于基于SMT的软件验证的统一观点。 (英语) 兹比尔1426.68041 J.汽车。推理 第3期第60期,第299-335页(2018年); 更正同上,第65号,第3461(2021)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,J.Autom。推理60,No.3,299--335(2018;Zbl 1426.68041) 全文: 内政部
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 平面阵列属性的决策程序。 (英语) Zbl 1356.03049号 J.汽车。推理 54,第4号,327-352(2015).MSC公司:03年2月25日 03B35型 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,J.Autom。推理54,No.4,327--352(2015;Zbl 1356.03049) 全文: 内政部 链接