×

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

最新的 引文 关联
罗莎·阿巴斯;乔纳斯·希夫尔;伊娃·达鲁洛娃;马蒂亚斯·乌尔布里奇;沃尔夫冈·阿伦特

KeY中浮点Java程序的演绎验证。 （英语） Zbl 1474.68186号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 242-261 (2021).
MSC公司：60年第68季度 65克50 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{R.Abbasi}等人，Lect。注释计算。科学。12652、242--261（2021；Zbl 1474.68186）
全文： 内政部 arXiv公司
OA许可证
德巴西米塔·洛哈尔;Jeangoudoux，Clothilde公司;约书亚·索贝尔;伊娃·达鲁洛娃;玛丽亚·克里斯塔基斯

条件浮点验证的两阶段方法。 （英语） Zbl 1474.68191号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 43-63 (2021).
MSC公司：60年第68季度 65克50 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛D.Lohar｝等人，Lect。注释计算。科学。12652，43-63（2021；Zbl 1474.68191）
全文： 内政部
OA许可证
劳拉·蒂托洛;玛丽亚诺·莫斯卡托（Mariano M.Moscato）。;塞萨尔·穆尼奥斯。;亚伦·杜特尔;弗朗索瓦·博博特

紧凑位置报告算法的正式验证浮点实现。 （英语） Zbl 1460.68128号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 364-381 (2018).
MSC公司：68单位35 6504年 68页30 60年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{L.Titolo}等人，Lect。注释计算。科学。10951、364--381（2018；Zbl 1460.68128）
全文： 内政部 链接
德克·拜尔;苏米特·古尔瓦尼;戴维·施密特（David A.Schmidt）。

结合模型检查和数据流分析。 （英语） Zbl 1392.68231号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。493-540 (2018).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Beyer}等人，in：模型检查手册。查姆：斯普林格。493--540（2018；Zbl 1392.68231）
全文： 内政部
阿齐姆·查德哈里;安迪·金

紧差分界矩阵。 （英语） Zbl 1503.68177号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 471-490 (2017).
MSC公司：68问题55 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.Chawdhary}和\textit{A.King}，莱克特。注释计算。科学。10695、471--490（2017；Zbl 1503.68177）
全文： 内政部 链接
拉斐尔·莫纳特;安托万·米内

使用关系干扰抽象对并发程序进行精确的线程模块抽象解释。 （英语） Zbl 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）
全文： 内政部 哈尔
Cha、Sooyoung;贞、色顺;哦，哈乔

学习从大型代码库中选择扩大阈值的策略。 （英语） Zbl 1483.68094号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 25-41 (2016).
MSC公司：68N99型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{S.Cha}等人，Lect。注释计算。科学。10017，25-41（2016；Zbl 1483.68094）
全文： 内政部
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁

利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 （英语） Zbl 1419.68041号

Blazy，Sandrine（编辑）等人，《静态分析》。2015年9月9日至11日，第22届国际研讨会，SAS，法国圣马洛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9291, 312-331 (2015).
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cattaruzza}等人，Lect。注释计算。科学。9291、312--331（2015；Zbl 1419.68041）
全文： 内政部 arXiv公司 链接
J.Robert M.科尼什。;格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。

通过程序转换分析数组操作程序。 （英语） Zbl 1457.68060号

Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8981，3-20（2015年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.R.M.Cornish}等人，Lect。注释计算。科学。8981，3--20（2015；Zbl 1457.68060）
全文： 内政部 链接
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜

带有数组的程序的惰性抽象的一种扩展，带有插值。 （英语） 兹比尔1317.68107

形式方法系统。设计。 45，第1期，63-109（2014）.
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，《形式方法系统》。设计。45，编号1，63--109（2014；Zbl 1317.68107）
全文： 内政部 链接
霍尔格·西格尔;波格丹米海拉;埃克塞尔·西蒙

未定义的域：不存在的实体的精确关系信息。 （英语） Zbl 1426.68064号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 74-89 (2013).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Siegel}等人，Lect。注释计算。科学。8301、74-89（2013年；Zbl 1426.68064）
全文： 内政部
鲍里斯·科普夫;安德烈·里巴尔琴科

定量信息流分析自动化。 （英语） Zbl 1380.68173号

Bernardo，Marco（编辑）等人，动力学系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，1-28（2013）。
MSC公司：68页30 94甲15
PDF格式BibTeX公司 XML格式引用
\textit{B.Köpf}和\textit{A.Rybalchenko}，莱克特。注释计算。科学。7938，1--28（2013；Zbl 1380.68173）
全文： 内政部
迪帕克·卡普尔;张志海;马提亚斯·霍巴赫;赵恒军;鲁，齐;阮，ThanhVu

自动生成八角不变量和max-plus不变量的几何量词消除启发式。 （英语） Zbl 1385.68013号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，189-228（2013）。
MSC公司：68号30 03C10号机组 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kapur}等人，Lect。注释计算。科学。7788，189--228（2013；Zbl 1385.68013）
全文： 内政部
戴维·莫尼奥;朱利安·勒根

基于变量相关性的分层静态分析。 （英语） Zbl 1294.68063号

Massé，Damien（编辑）等人，第三届数字和符号抽象域国际研讨会论文集，2011年国家科学院，意大利威尼斯，2011年9月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记288，61-74（2012）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Monniaux}和\textit{J.Le Guen}，电子。注释Theor。计算。科学。288、61-74（2012年；Zbl 1294.68063）
全文： 内政部 arXiv公司
Jakubczyk、Krzysztof

在抽象解释中横扫。 （英语） Zbl 1294.68056号

Massé，Damien（ed.）等人，第三届数字和符号抽象领域国际研讨会论文集，NSAD 2011，意大利威尼斯，2011年9月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记288，25-36（2012）。
MSC公司：68号30 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{K.Jakubczyk}，电子。注释Theor。计算。科学。288、25-36（2012年；Zbl 1294.68056）
全文： 内政部
Jędrzej Fulara

字典和数组的通用抽象。 （英语） Zbl 1294.68054号

Midtgaard，Jan（编辑）等人，第四届数字和符号抽象域国际研讨会论文集，NSAD 2012，法国多维尔，2012年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记287，53-64（2012）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Fulara}，电子。注释Theor。计算。科学。287、53--64（2012年；Zbl 1294.68054）
全文： 内政部
伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer

八边形的基于访问的本地化。 （英语） Zbl 1294.68050号

Midtgaard，Jan（编辑）等人，第四届数字和符号抽象域国际研讨会论文集，NSAD 2012，法国多维尔，2012年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记287，29-40（2012）。
MSC公司：68号30 68问题55 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.Beckschulze}等人，《电子》。注释Theor。计算。科学。287、29--40（2012年；Zbl 1294.68050）
全文： 内政部
Lee，Woosuk先生;Lee，Wonchan先生;Yi，Kwangkeun

静态分析警报的声音非统计聚类。 （英语） Zbl 1326.68100号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148299-314（2012）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{W.Lee}等人，Lect。注释计算。科学。7148299--314（2012年；Zbl 1326.68100）
全文： 内政部
安托万·米内

嵌入式关键并行C程序中运行时错误的静态分析。 （英语） Zbl 1239.68021号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602398-418（2011）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，莱克特。注释计算。科学。6602398--418（2011年；Zbl 1239.68021）
全文： 内政部 arXiv公司
托马斯·马丁·高利察;戴维·莫尼奥

通过SMT解决方案改进策略。 （英语） Zbl 1326.68093号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602236-255（2011）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Gawlitza}和\textit{D.Monniaux}，莱克特。注释计算。科学。6602236--255（2011年；Zbl 1326.68093）
全文： 内政部 arXiv公司
迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆

泛化模板多面体域。 （英语） Zbl 1326.68088号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602176-195（2011）。
MSC公司：68号30 52B99号 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Colón}和\textit{S.Sankaranarayanan}，莱克托。注释计算。科学。6602176--195（2011年；Zbl 1326.68088）
全文： 内政部
劳伦特·休伯特;尼古拉·巴雷;弗雷德里克·贝松;德尔芬·德曼吉;托马斯·延森;文森特·蒙福特;大卫·皮哈迪;蒂芬·特平

Sawja：Java静态分析研讨会。 （英语） Zbl 1308.68028号

Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。国际会议，FoVeOOS 2010，法国巴黎，2010年6月28日至30日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528，92-106（2011）。
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Hubert}等人，Lect。注释计算。科学。6528，92-106（2011；Zbl 1308.68028）
全文： 内政部 arXiv公司
曼努埃尔·Fähndrich;弗朗西斯科·洛戈佐

带有抽象解释的静态合同检查。 （英语） Zbl 1308.68033号

Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。2010年6月28日至30日，法国巴黎，FoVeOOS 2010国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528，10-30（2011）。
MSC公司：68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fähndrich}和\textit{F.Logozzo}，莱克特。注释计算。科学。6528，10--30（2011；Zbl 1308.68033）
全文： 内政部
Jędrzej Fulara;康拉德·杜诺加;Jakubczyk、Krzysztof;阿列克西·舒伯特

加权六边形的关系抽象域。 （英语） Zbl 1342.68082号

Miné，Antoine（编辑）等人，《第二届数字和符号抽象领域国际研讨会论文集：NSAD 2010》，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，59-72（2010）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Fulara}等人，《电子》。注释Theor。计算。科学。267，编号1，59--72（2010；Zbl 1342.68082）
全文： 内政部
奥利维尔·布瓦索;亚萨米娜·塞拉吉;亚历山大·查普托

用数值加速度方法进行抽象不动点计算。 （英语） Zbl 1342.68071号

Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，29-42（2010）。
MSC公司：68号30 65B99型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{O.Bouissou}等人，《电子》。注释Theor。计算。科学。267，编号1，29-42（2010；Zbl 1342.68071）
全文： 内政部
安吉洛·布里洛特;何楠楠;米歇尔·马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫

Simulink模型的基于突变的测试用例生成。 （英语） Zbl 1312.68130号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Brillout｝等人，Lect。注释计算。科学。6286208-227（2010年；兹比尔1312.68130）
全文： 内政部
卡洛·阿尔贝托·福里亚;贝特朗·梅耶

使用后置条件推断循环不变量。 （英语） Zbl 1287.68108号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，277-300（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Furia}和\textit{B.Meyer}，莱克特。注释计算。科学。6300、277--300（2010；Zbl 1287.68108）
全文： 内政部 arXiv公司
简·佩莱斯卡

C/C++模块的集成和自动化抽象解释、验证和测试。 （英语） Zbl 1274.68201号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930277-299（2010）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{J.Peleska}，莱克特。注释计算。科学。5930、277--299（2010年；Zbl 1274.68201）
全文： 内政部
奥利维尔·布瓦索

证明控制命令算法实现的正确性。 （英语） Zbl 1248.68139号

Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673102-119（2009）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Bouissou}，莱克特。注释计算。科学。5673、102-119（2009年；Zbl 1248.68139）
全文： 内政部
巴加夫·古拉瓦尼。;苏米特·古尔瓦尼

基于表达式抽象和最大算子的数值抽象域，在时序分析中应用。 （英语） Zbl 1155.68366号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123370-384（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Gulavani}和\textit{S.Gulwani}，莱克特。注释计算。科学。5123、370--384（2008年；Zbl 1155.68366）
全文： 内政部
奥利维尔·布瓦索;马蒂厄·马特尔

嵌入式程序物理输入的抽象解释。 （英语） Zbl 1138.68358号

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿490537-51（2008）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛O.Bouissou｝和\textit｛M.Martel｝，Lect。注释计算。科学。4905,37--51（2008年；Zbl 1138.68358）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件