×

找到29份文件（结果1-29）

最新的 引文 关联
Ryoya Mukai;直纪小林;佐藤龙之助

用于自动程序验证的参数化递归优化类型。 （英语） Zbl 1524.68100号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。13790, 397-421 (2022).
MSC公司：68号30 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Mukai}等人，Lect。票据计算。科学。13790397--421（2022年；Zbl 1524.68100）
全文： 内政部
奥利维尔·妮可;马蒂厄·莱梅尔;对手，泽维尔

基于物理类型的轻量级形状分析。 （英语） Zbl 1498.68081号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。13182, 219-241 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.Nicole}等人，Lect。票据计算。科学。13182，219--241（2022；Zbl 1498.68081）
全文： 内政部 哈尔
穆罕默德·巴巴拉;隋玉蕾

散列将点转换为集合。 （英语） Zbl 1497.68130号

Drăgoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。12913, 25-48 (2021).
MSC公司：68纳米99 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.Barbar}和\textit{Y.Sui}，Lect。票据计算。科学。12913，25-48（2021；Zbl 1497.68130）
全文： 内政部
奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆

证明无限状态系统时间特性的时间预言。 （英语） Zbl 1522.68340号

形式方法系统。设计。 57，编号2，246-269（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340）
全文： 内政部 arXiv公司
OA许可证
丹尼尔·迪特施;马蒂亚斯·海兹曼;多米尼克·克伦普;迈赫迪·瑙阿尔;安德烈亚斯·波德尔斯基;克劳斯·施瓦兹勒

使用Petri网展开验证并发程序。 （英语） Zbl 1472.68087号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。12597, 174-195 (2021).
MSC公司：60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Dietsch}等人，Lect。票据计算。科学。12597174-195（2021年；Zbl 1472.68087）
全文： 内政部
雅各布·利德曼;约瑟夫·斯文宁森

模糊集抽象。 （英语） Zbl 1525.68027号

Scozzari，Francesca（编辑），第七届数字和符号抽象域国际研讨会论文集，2017年国家科学院，美国纽约州纽约市，2017年8月29日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。334, 17-29 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.利德曼}和\textit{J.Sveningsson}，电子。注释Theor。计算。科学。334，17-29（2018；Zbl 1525.68027）
全文： 内政部
皮埃特罗·费拉拉;奥马尔·特里普;刘鹏;埃里克·科斯金

使用抽象解释来纠正同步错误。 （英语） Zbl 1484.68046号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。10145, 187-208 (2017).
MSC公司：68号30 68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Ferrara}等人，Lect。票据计算。科学。10145187--208（2017；Zbl 1484.68046）
全文： 内政部
Kreiker，J。;代表，T。;北卡罗来纳州里内茨基。;萨吉夫，M。;莱因哈德·威廉;E.雅哈夫。

有效无切口程序的跨过程形状分析。 （英语） Zbl 1383.68025号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，414-445（2013）。
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Kreiker}等人，Lect。票据计算。科学。7797、414--445（2013；Zbl 1383.68025）
全文： 内政部
艾哈迈德·博阿贾尼;马里乌斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;托马斯·沃伊纳尔

带有列表的程序是计数器自动机。 （英语） 兹比尔1217.68059

形式方法系统。设计。 38，第2期，158-192（2011）.
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《形式方法系统》。设计。38，第2号，158--192（2011；Zbl 1217.68059）
全文： 内政部 哈尔
肯尼思·麦克米兰。;Lenore D.扎克。

非析取抽象的抽象反例。 （英语） Zbl 1260.68234号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797176-188（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.L.McMillan}和\textit{L.D.Zuck}，莱克特。票据计算。科学。5797176-188（2009年；Zbl 1260.68234）
全文： 内政部
赫尔穆特·塞德尔;维萨尔·沃达尼

用于种族检测的区域分析。 （英语） Zbl 1248.68152号

Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673171-187（2009）。
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{H.Seidl}和\textit{V.Vojdani}，莱克特。票据计算。科学。5673、171--187（2009年；Zbl 1248.68152）
全文： 内政部
穆罕默德·纳西姆·塞吉尔;安德烈亚斯·波德尔斯基;托马斯·怀斯

量化数组断言的抽象细化。 （英语） Zbl 1248.68151号

Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673，3-18（2009）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Seghir}等人，Lect。票据计算。科学。5673，3--18（2009年；Zbl 1248.68151）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹

具有动态内存堆的程序的单调抽象。 （英语） Zbl 1155.68423号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。第20届国际会议，CAV 2008，美国新泽西州普林斯顿，2008年7月7日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。《计算机科学讲义》5123341-354（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。5123、341--354（2008年；Zbl 1155.68423）
全文： 内政部
弗朗西斯科·兰扎托;奥利维娅·罗西（Olivia Rossi Doria）;弗朗西斯科·塔帕罗

一种前向的抽象细化算法。 （英语） Zbl 1138.68458号

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

聚光灯原理。关于组合过程汇总状态抽象。 （英语） Zbl 1132.68484号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349182-198（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Wachter}和\textit{B.Westphal}，莱克特。票据计算。科学。4349、182--198（2007年；Zbl 1132.68484）
全文： 内政部
茨沃尼米尔·拉卡马里奇;杰西·宾厄姆;胡亚伦·J·。

一种基于推理规则的决策过程，用于验证具有可变数据和循环数据结构的堆操作程序。 （英语） Zbl 1132.68354号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349106-121（2007）。
MSC公司：68第05页 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Rakamarić}等人，Lect。票据计算。科学。4349，106-121（2007；Zbl 1132.68354）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件