×

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

最新的 引文 关联
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07731941号

日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07793032号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13242, 244-263 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。13242、244--263（2022；Zbl 07793032）
全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；吉安卢卡·雷登迪

使用量词验证SMT系统。 （英语） Zbl 1522.68303号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 154-170 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。13505154-170（2022年；Zbl 1522.68303）
全文： 内政部
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔

扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英语） Zbl 1522.68302号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 351-371 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。13085、351--371（2021；Zbl 1522.68302）
全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈

在无限状态转换系统中自动发现公平路径。 （英语） Zbl 1497.68290号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 32-47 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。12971，32-47（2021；Zbl 1497.68290）
全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；吉安卢卡·雷登迪

利用无量词SMT推理对参数系统进行通用不变量检查。 （英语） Zbl 07437076号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12699, 131-147 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。12699、131--147（2021；Zbl 07437076）
全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈

证明无限状态系统中公平路径的存在性。 （英语） Zbl 1472.68085号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 104-126 (2021).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。12597，104-126（2021；Zbl 1472.68085）
全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈；马可·罗维里；斯特凡诺·托内塔

基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 （英语） Zbl 1443.68104号

Inf.计算。 272，文章ID 104502，17 p.（2020）.
MSC公司：60年第68季度 03B44号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《信息计算》。272，文章ID 104502，第17页（2020；Zbl 1443.68104）
全文： 内政部
亚历山德罗·西马蒂；塞尔吉奥·莫弗；马可·罗维里；斯特凡诺·托内塔

从顺序扩展正则表达式到带有符号标签的NFA。 （英语） Zbl 1297.68116号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿648287-94（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。6482，87-94（2011；Zbl 1297.68116）
全文： 内政部
A.西马蒂。；M.罗维里。；V.舒潘。；Tchaltsev，A。

可实现性的诊断信息。 （英语） Zbl 1138.68442号

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905，52-67（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。4905、52-67（2008年；Zbl 1138.68442）
全文： 内政部
茨沃尼米尔·拉卡马里奇；罗伯托·布鲁托梅索；胡亚伦·J·。；亚历山德罗·西马蒂

验证SMT框架中的堆操作程序。 （英语） Zbl 1141.68484号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762237-252（2007）。
MSC公司：60年第68季度 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Rakamarić}等人，Lect。票据计算。科学。4762、237--252（2007年；Zbl 1141.68484）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件