×

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

最新的 引文 关联
穆拉德·阿洪多夫;费德里科·莫拉;尼克·冯;文森特·惠;玛莎·契契克

通过在程序片上赌博进行验证。 （英语） Zbl 1497.68282号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 266-282 (2021).
理学硕士：60年第68季度 68号30 第68季度第45季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Akhundov}等人，Lect。注释计算。科学。12971，266--282（2021；Zbl 1497.68282）
全文： 内政部
丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格

规则合并器：基于变量的模型转换规则的自动构建。 （英语） Zbl 1378.68024号

Stevens，Perdita（编辑）等人，《软件工程的基本方法》，第19届国际会议，FASE 2016，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49664-0/pbk；978-3-562-49665-7/电子书）。计算机科学讲座笔记9633122-140（2016）。
理学硕士：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Strüber}等人，Lect。注释计算。科学。9633、122——140（2016年；Zbl 1378.68024）
全文： 内政部
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克

SMT求解器的符号优化。 （英语） Zbl 1284.68410号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。607-618 (2014).
理学硕士：60年第68季度 68号30 68T20型 68周05 90C99号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。607--618（2014年；Zbl 1284.68410）
全文： 内政部
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克

从欠近似到过近似再到反近似。 （英语） 兹比尔1352.68140

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，157-172（2012）。
理学硕士：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Albarghouthi}等人，Lect。注释计算。科学。7214，157--172（2012；Zbl 1352.68140）
全文： 内政部
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克

鲸鱼：一种基于插值的过程间验证算法。 （英语） Zbl 1325.68137号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。《计算机科学讲义》7148，39-55（2012）。
理学硕士：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Albarghouthi}等人，Lect。注释计算。科学。7148，39-55（2012；Zbl 1325.68137）
全文： 内政部
阿里·古芬克尔;玛莎·契契克

为什么要浪费一个完美的抽象？ （英语） Zbl 1180.68174号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日，作为欧洲软件理论和实践联合会议的一部分，在奥地利维也纳举行了第12届国际会议，2006年TACAS。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，212-226（2006）。
理学硕士：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。3920、212--226（2006年；Zbl 1180.68174）
全文： 内政部
魏、欧;阿里·古芬克尔;玛莎·契契克

完全虚拟对称的识别和反抽象。 （英语） Zbl 1159.68345号

Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学课堂讲稿3725285-300（2005）。
理学硕士：2007年7月68日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Wei}等人，Lect。注释计算。科学。3725285--300（2005年；Zbl 1159.68345）
全文： 内政部
阿里·古芬克尔;玛莎·契契克

多彻底就够了？ （英语） Zbl 1159.68323号

Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学讲义3725，65-80（2005）。
理学硕士：2007年7月68日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。3725、65-80（2005年；Zbl 1159.68323）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件