×

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

最新的 引文 关联
塞皮德·阿萨迪；马丁·布利查；安蒂·海瓦里宁；格里戈里·费迪尤科维奇；娜塔莎·莎莉吉娜

基于Farkas的树插值。 （英语） Zbl 1474.68321号

Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389, 357-379 (2020).
MSC公司：68T20型 03B70号 03C40号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Asadi}等人，Lect。注释计算。科学。12389，357--379（2020；Zbl 1474.68321）
全文： 内政部
马丁·布利查；安蒂·E·J·海瓦·里宁。；马特奥·马雷斯科蒂；娜塔莎·莎莉吉娜

一种用于属性定向归纳的协作并行化方法。 （英语） Zbl 07228511号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 270-292 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blicha}等人，Lect。注释计算。科学。11990、270--292（2020；Zbl 07228511）
全文： 内政部
马丁·布利查；安蒂·E·J·海瓦·里宁。；科夫罗，简；娜塔莎·莎莉吉娜

分解Farkas插值。 （英语） Zbl 1527.68126号

Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11427, 3-20 (2019).
MSC公司：60年第68季度 03B70号 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{M.Blicha}等人，Lect。注释计算。科学。11427，3--20（2019；Zbl 1527.68126）
全文： 内政部
帕维尔·扬契克；科夫罗，简；阿尔特，莱昂纳多；格里戈里·费迪尤科维奇；安蒂·E·J·海瓦·里宁。；娜塔莎·莎莉吉娜

在基于插值的模型检查中利用部分变量赋值。 （英语） Zbl 1425.68257号

形式方法系统。设计。 55，第1号，33-71（2019）.
MSC公司：60年第68季度 03C40号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Janík}等人，《形式方法系统》。设计。55，编号1，33--71（2019；Zbl 1425.68257）
全文： 内政部
塞皮德·阿萨迪；马丁·布利查；格里戈里·费迪尤科维奇；Hyvärinen，安蒂；卡琳·埃文·蒙多萨；娜塔莎·莎莉吉娜；哈娜·乔克勒

函数概要模理论。 （英语） Zbl 1415.68141号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 56-75 (2018).
MSC公司：60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Asadi}等人，EPiC Ser。计算。57、56-75（2018年；Zbl 1415.68141）
全文： 内政部
卡琳·埃文·蒙多萨；塞皮德·阿萨迪；安蒂·E·J·海瓦·里宁。；哈娜·乔克勒；娜塔莎·莎莉吉娜

有界模型检查中基于格的精化。 （英语） Zbl 1403.68123号

Piskac、Ruzica（编辑）等人，《验证软件》。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。查姆：施普林格（ISBN 978-3-030-03591-4/pbk；978-3-0.30-03592-1/电子书）。计算机科学课堂讲稿11294，50-68（2018）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Even-Mendoza}等人，Lect。注释计算。科学。11294，50-68（2018；Zbl 1403.68123）
全文： 内政部
安蒂·E·J·海瓦·里宁。；塞皮德·阿萨迪；卡琳·埃文·蒙多萨；格里戈里·费迪尤科维奇；哈娜·乔克勒；娜塔莎·莎莉吉娜

用于程序验证的理论细化。 （英语） Zbl 1496.68191号

Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10491, 347-363 (2017).
MSC公司：60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.E.J.Hyvärinen}等人，Lect。注释计算。科学。10491、347--363（2017年；Zbl 1496.68191）
全文： 内政部 链接
格里戈里·费迪尤科维奇；阿里·古芬克尔；娜塔莎·莎莉吉娜

通过抽象模拟实现属性导向等价。 （英语） 兹比尔1411.68065

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9780433-453（2016年）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Fedyukovich}等人，Lect。注释计算。科学。9780、433--453（2016；Zbl 1411.68065）
全文： 内政部
格里戈里·费迪尤科维奇；娜塔莎·莎莉吉娜

通过自动递归深度检测实现有界模型检查的完整性。 （英语） Zbl 1335.68136号

Braga，Christiano（编辑）等人，《形式方法：基础和应用》。2014年9月29日至10月1日在巴西亚利桑那州马塞奥举行的第17届巴西研讨会，SBMF 2014。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-15074-1/pbk）。计算机科学课堂讲稿8941，96-112（2015）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Fedyukovich}和\textit{N.Sharygina}，莱克特。注释计算。科学。8941，96-112（2015；Zbl 1335.68136）
全文： 内政部
格里戈里·费迪尤科维奇；阿里·古芬克尔；娜塔莎·莎莉吉娜

程序间模拟的自动发现。 （英语） Zbl 1471.68061号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 606-621 (2015).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Fedyukovich}等人，Lect。注释计算。科学。9450606--621（2015年；Zbl 1471.68061）
全文： 内政部
弗朗西斯科·阿尔贝蒂；西尔维奥·吉拉尔迪；娜塔莎·莎莉吉娜

Booster：用于阵列程序的基于加速的验证框架。 （英语） Zbl 1448.68284号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 18-23 (2014).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，Lect。注释计算。科学。8837，18-23（2014；Zbl 1448.68284）
全文： 内政部
弗朗西斯科·阿尔贝蒂；罗伯特·布鲁托梅索；西尔维奥·吉拉尔迪；西尔维奥·兰伊斯；娜塔莎·莎莉吉娜

对带有数组的程序进行插值的惰性抽象的扩展。 （英语） 兹伯利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）
全文： 内政部 链接
阿里·古芬克尔；西蒙·富尔维奥·罗里尼；娜塔莎·莎莉吉娜

插值属性和基于SAT的模型检查。 （英语） Zbl 1410.68229号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 255-271 (2013).
MSC公司：60年第68季度 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Gurfinkel}等人，Lect。注释计算。科学。8172255-271（2013；Zbl 1410.68229）
全文： 内政部 arXiv公司
西蒙·富尔维奥·罗里尼；莱昂纳多·阿尔特；格里戈里·费迪尤科维奇；安蒂·E·J·海瓦·里宁。；娜塔莎·莎莉吉娜

PeRIPLO：在基于SAT的软件验证中生成有效插值的框架。 （英语） Zbl 1407.68303号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8312, 683-693 (2013).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.F.Rollini}等人，Lect。注释计算。科学。8312、683--693（2013；Zbl 1407.68303）
全文： 内政部
弗朗西斯科·阿尔贝蒂；西尔维奥·吉拉尔迪；娜塔莎·莎莉吉娜

数组理论中加速关系的定义及其应用。 （英语） Zbl 1397.68121号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，23-39（2013）。
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛F.Alberti｝等人，Lect。注释计算。科学。8152，23-39（2013；Zbl 1397.68121）
全文： 内政部 arXiv公司
格里戈里·费迪尤科维奇；Ondrej塞里；娜塔莎·莎莉吉娜

eVolCheck:C的增量升级检查程序。 （英语） Zbl 1381.68159号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，292-307（2013）。
MSC公司：60年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{G.Fedyukovich}等人，Lect。注释计算。科学。7795，292--307（2013；Zbl 1381.68159）
全文： 内政部
娜塔莎·莎莉吉娜（编辑）；赫尔穆特·维思（编辑）

计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。 （英语） Zbl 1268.68032号

计算机科学课堂讲稿8044.柏林：施普林格出版社（ISBN 978-3-642-39798-1/pbk）。xxi，1015页。(2013).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Sharygina}（编辑）和\textit{H.Veith}（编），计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。柏林：施普林格出版社（2013；Zbl 1268.68032）
全文： 内政部
弗朗西斯科·阿尔贝蒂；罗伯特·布鲁托梅索；西尔维奥·吉拉尔迪；西尔维奥·兰伊斯；娜塔莎·莎莉吉娜

数组插值的惰性抽象。 （英语） Zbl 1352.68141号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学讲义7180，46-61（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，Lect。注释计算。科学。7180、46-61（2012；Zbl 1352.68141）
全文： 内政部
阿里亚克西·齐托维奇；娜塔莎·莎莉吉娜；Christoph M.温特斯泰格。；丹尼尔·克罗宁

回路总结和终止分析。 （英语） 兹比尔1315.68106

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记660581-95（2011）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Tsitovich}等人，Lect。注释计算。科学。660581-95（2011年；Zbl 1315.68106）
全文： 内政部
丹尼尔·克罗宁；娜塔莎·莎莉吉娜；斯特凡诺·托内塔；阿里亚克西·齐托维奇；克里斯托弗·温特斯泰格。

使用抽象变换器的循环摘要。 （英语） 兹比尔1183.68377

Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿53111-125（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}等人，Lect。注释计算。科学。53111-125（2008年；Zbl 1183.68377）
全文： 内政部
埃德蒙·克拉克；娜塔莎·莎莉吉娜；尼尚·辛哈

程序兼容性方法。 （英语） Zbl 1196.68044号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。计算机科学讲义4111，243-258（2006）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。4111、243-258（2006；Zbl 1196.68044）
全文： 内政部
丹尼尔·克罗宁；娜塔莎·莎莉吉娜

位向量逻辑的近似谓词图像。 （英语） Zbl 1180.68175号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日，作为欧洲软件理论和实践联合会议的一部分，在奥地利维也纳举行了第12届国际会议，2006年TACAS。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，242-256（2006）。
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}和\textit{N.Sharygina}，莱克特。注释计算。科学。3920、242--256（2006年；Zbl 1180.68175）
全文： 内政部
萨加·查基；埃德蒙·克拉克；奥尔纳·格伦伯格；约尔·瓦克宁；娜塔莎·莎莉吉娜；泰瑟·图利；赫尔穆特·维思

分支时间规范的状态/事件软件验证。 （英语） Zbl 1137.68432号

Romijn，Judi（编辑）等，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，53-69（2005）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。3771、53--69（2005年；Zbl 1137.68432）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜

异步布尔程序的符号模型检查。 （英语） Zbl 1151.68367号

Patrice Godefroid（编辑），模型检查软件。第十二届SPIN国际研讨会，美国加利福尼亚州旧金山，2005年8月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28195-9/pbk）。计算机科学课堂讲稿3639，75-90（2005）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3639，75-90（2005年；Zbl 1151.68367）
全文： 内政部
娜塔莎·莎莉吉娜；萨加·查基；埃德蒙·克拉克；尼尚·辛哈

动态组件替代性分析。 （英语） Zbl 1120.68421号

Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582，512-528（2005）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Sharygina}等人，Lect。注释计算。科学。3582512-528（2005；Zbl 1120.68421）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜

Cogent：程序验证的精确定理证明。 （英语） Zbl 1081.68673号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576296-300（2005）。
MSC公司：68吨15 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3576，296--300（2005；Zbl 1081.68673）
全文： 内政部
萨加·查基；詹姆斯·艾弗斯；娜塔莎·莎莉吉娜；库尔特·沃尔诺

ComFoRT推理框架。 （英语） 兹比尔1081.68613

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。《计算机科学讲义》35763164-169（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。3576，164--169（2005；Zbl 1081.68613）
全文： 内政部
埃德蒙·克拉克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜；凯伦·约拉夫

SATABS:ANSI-C基于SAT的谓词抽象。 （英语） Zbl 1087.68586号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440570-574（2005）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。3440570--574（2005年；Zbl 1087.68586）
全文： 内政部
萨加·查基；埃德蒙·克拉克（Edmund M.Clarke）。；约尔·瓦克宁；娜塔莎·莎莉吉娜；尼尚·辛哈

基于状态/事件的软件模型检查。 （英语） Zbl 1196.68129号

Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999128-147（2004）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。2999128-147（2004年；Zbl 1196.68129）
全文： 内政部
娜塔莎·莎莉吉娜；詹姆斯·布朗（James C.Browne）。

通过抽象循环转换对软件进行模型检查。 （英语） Zbl 1032.68666号

Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003，该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 325-340 (2003).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Sharygina}和\textit{J.C.Browne}，莱克特。注释计算。科学。2621325--340（2003年；Zbl 1032.68666）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件