×

找到362个文档（结果1–100）

最新的 引文 关联
Alireza马祖翁;丹尼尔·格罗;罗尔夫·德雷克斯勒

结构复杂乘数的形式验证。 （英语） Zbl 07819811号

新加坡：Springer（ISBN 978-3-031-24570-1/hbk；978-3-051-24573-2/pbk；988-3-031-204571-8/电子书）。xiii，130页。(2023).
MSC公司：68-02 2007年7月68日 2006年第68季度 第68季度第60季度 68瓦30 68瓦35
PDF格式BibTeX公司 XML格式引用
\textit{A.Mahzoon}等人，结构复杂乘数的形式验证。新加坡：Springer（2023；Zbl 07819811）
全文： 内政部
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） 兹比尔1529.68152

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：第68季度第60季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
劳拉·科瓦奇

自动程序推理中的符号计算。 （英语） Zbl 1529.68080号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).
MSC公司：68号30 第68季度第60季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\文本｛L.Kovács｝，Lect。注释计算。科学。14000，3--9（2023；Zbl 1529.68080）
全文： 内政部
亚历山大·韦伯;伊利赛·马科维奇克（Elisei Macoveiciuc）;冈瑟Reissig

ABS：一种用于空间效率符号合成的正式正确的软件工具。 （英语） Zbl 07807727号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2022年）。
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Weber}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2022；Zbl 07807727）
全文： 内政部
多哥卡里莫夫;Edon Kelmendi;约尔·瓦克宁;詹姆斯·沃雷尔

离散线性动力系统的决定因素是什么？ （英语） Zbl 1528.68228号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 21-38 (2022).
MSC公司：第68季度第60季度 03B25号 11层37 第37页第10页 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{T.Karimov}等人，Lect。注释计算。科学。13660，21-38（2022；Zbl 1528.68228）
全文： 内政部 arXiv公司
斯文·施奈德;玛丽亚，马克西莫娃;霍尔格，吉斯

使用（k）-归纳法对多智能体图变换系统进行不变量分析。 （英语） Zbl 1514.68093号

Behr，Nicolas（编辑）等人，《图形变换》。第15届国际会议，ICGT 2022，作为2022年STAF的一部分，于2022年7月7日至8日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 173-192 (2022).
MSC公司：2012年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}等人，Lect。注释计算。科学。13349，173--192（2022；Zbl 1514.68093）
全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜

重温了有序等式推广算法。 （英语） Zbl 07517439号

安。数学。Artif公司。智力。 90，第5期，499-522（2022）.
MSC公司：68N17号 68甲18 2012年第68季度 第68季度第60季度 68T20型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439）
全文： 内政部 链接
马哈茂德·哈立德;马吉德·扎马尼

OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807698号

第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19日至21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698）
全文： 内政部
吉安卢卡·阿普里塞诺;安德里亚·帕塞里尼;卢西亚诺·塞拉菲尼

结构化事件识别的神经符号学方法。 （英语） Zbl 07744954号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第11条，第14页（2021）。
MSC公司：03B44号 第68季度第60季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.Apriceno}等人，LIPIcs——莱布尼茨国际程序。通知。206，第11条，第14页（2021；Zbl 07744954）
全文： 内政部
肖恩·阿佐帕迪;尼尔·皮特曼;杰拉尔多·施奈德

在反应合成中加入监测器而无需付出代价。 （英语） Zbl 1497.68284号

Hou，Zhe（编辑）等人，用于验证和分析的自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 337-353 (2021).
MSC公司：第68季度第60季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Azzopardi}等人，莱克特。注释计算。科学。12971、337--353（2021；Zbl 1497.68284）
全文： 内政部 arXiv公司
努尔·埃胡达·苏伊德;凯斯·克莱伊

一种新的监督合成方法，用于增强离散事件系统的不透明度。 （英语） Zbl 1496.68195号

Gao，Debin（编辑）等人，《信息和通信安全》。第23届国际会议，ICICS 2021，中国重庆，2021年11月19-21日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12919, 210-227 (2021).
MSC公司：第68季度第60季度 68平方米25 68问题85 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{N.E.Souid}和\textit{K.Klai}，莱克特。注释计算。科学。12919，210-227（2021；Zbl 1496.68195）
全文： 内政部
斯文·施奈德;约翰内斯·戴克;霍尔格，吉斯

基于嵌套属性图条件的属性图变换系统不变量的形式化验证。 （英语） Zbl 1502.68160号

Gadducci，Fabio（编辑）等人，《图形变换》。2020年6月25日至26日，作为STAF 2020的一部分，在挪威卑尔根举行了第13届国际会议，ICGT 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12150, 257-275 (2020).
MSC公司：2012年第68季度 第68季度第60季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}等人，Lect。注释计算。科学。12150257--275（2020年；Zbl 1502.68160）
全文： 内政部
萨拉特·钱德拉·瓦拉纳西;埃尔默·萨拉扎;尼拉吉·米塔尔;戈帕尔·古普塔

根据答案集编程规范合成命令代码。 （英语） Zbl 1502.68075号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 75-89 (2020).
MSC公司：68N17号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Varanasi}等人，Lect。注释计算。科学。12042，75-89（2020；Zbl 1502.68075）
全文： 内政部
阿萨迪，塞皮德;马丁·布利查;安蒂·海瓦里宁;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜

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

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

通过树分解使用消息传递进行可达性分析。 （英语） Zbl 1478.68173号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224604-628（2020年）。
MSC公司：第68季度第60季度 37B10号机组 68兰特 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{S.Sankaranarayanan}，莱克特。注释计算。科学。12224、604--628（2020年；Zbl 1478.68173）
全文： 内政部
丹尼尔·施梅尔;朱利安·勃宁;塞萨尔·罗德里格斯;戴维·拉普雷尔;克劳斯·韦尔

用于测试多线程程序的符号部分顺序执行。 （英语） Zbl 1478.68046号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 376-400 (2020).
MSC公司：第68页第19页 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Schemmel}等人，Lect。注释计算。科学。12224，376--400（2020；Zbl 1478.68046）
全文： 内政部 arXiv公司
普拉纳夫·阿肖克;马蒂亚斯·杰克米耶;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼

dtControl：用于控制器表示的决策树学习算法。 （英语） Zbl 07300871号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第30条，第2页（2020年）。
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Ashok}等人，《第23届ACM混合系统国际会议论文集：计算与控制》，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第30条，第2页（2020；Zbl 07300871）
全文： 内政部
普拉纳夫·阿肖克;Jackermeier，马蒂亚斯;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼

dtControl：用于控制器表示的决策树学习算法。 （英语） Zbl 07300858号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第17条，第7页（2020年）。
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Ashok}等人，《第23届ACM混合系统国际会议论文集：计算与控制》，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第17条，第7页（2020；Zbl 07300858）
全文： 内政部 arXiv公司
索拉维，Porncharenwase;詹姆斯·博恩霍尔特;埃米娜·托拉克

修复在符号计算下爆炸的代码。 （英语） Zbl 07228501号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990，44-67（2020）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Porncharenwase}等人，Lect。注释计算。科学。11990，44-67（2020；Zbl 07228501）
全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特

莫德的编程和符号计算。 （英语） Zbl 1494.68109号

J.日志。阿尔盖布。方法计划。 110，文章ID 100497，58 p.（2020）.
MSC公司：2012年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100497，58 p.（2020；Zbl 1494.68109）
全文： 内政部 arXiv公司
文斯·莫尔纳;伊斯坦·马齐克

用条件局部性增强饱和度：在Petri网中的应用。 （英语） Zbl 07796231号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 342-361 (2019).
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛V.Molnár｝和\textit｛I.Majzik｝，Lect。注释计算。科学。11522、342--361（2019；Zbl 07796231）
全文： 内政部
理查德·赫伯斯;阿尔芬斯·拉阿尔曼

一种基于并行关系的符号互模拟最小化算法。 （英语） Zbl 1522.68324号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 535-554 (2019).
MSC公司：第68季度第60季度 68问题85 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{R.Huybers}和\textit{A.Laarman}，莱克特。注释计算。科学。11388、535--554（2019年；Zbl 1522.68324）
全文： 内政部
纪尧姆·伯杰。;拉斐尔·荣格斯。

海报摘要：计算非线性系统双曲不变集的形式化方法。 （英语） Zbl 07120163号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。260-261 (2019).
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.O.Berger}和\textit{R.M.Jungers}，摘自：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。260-261（2019；Zbl 07120163）
全文： 内政部
马哈茂德·哈立德;马吉德·扎马尼

p面：符号控制的加速生态系统。 （英语） Zbl 07120161号

第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。252-257 (2019).
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Khaled}和\textit{M.Zamani}，in：第22届ACM混合系统国际会议论文集：计算和控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。252--257（2019；Zbl 07120161）
全文： 内政部
扬·胡克尔海姆;罗自清;纳拉亚南，斯里·哈里·克里希纳;斯蒂芬·西格尔;保罗·D·霍夫兰。

验证可微程序的属性。 （英语） Zbl 1511.68078号

安德烈亚斯·波德尔斯基（编辑），《静态分析》。第25届国际研讨会，SAS 2018，德国弗赖堡，2018年8月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11002, 205-222 (2018).
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hückelheim}等人，Lect。注释计算。科学。11002205--222（2018；Zbl 1511.68078）
全文： 内政部
香塔尔·凯勒

Isabelle/HOL中基于战术程序的测试和有界验证。 （英语） Zbl 1509.68167号

Catherine Dubois（编辑）等人，《测试和证明》。2018年6月27日至29日，作为2018年STAF的一部分，在法国图卢兹举行了第12届2018年TAP国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10889, 103-119 (2018).
MSC公司：第68季度第60季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Keller}，莱克特。注释计算。科学。10889、103-119（2018年；Zbl 1509.68167）
全文： 内政部 哈尔
斯特凡尼德劳恩

分析加密协议中的隐私类型属性（受邀演讲）。 （英语） Zbl 1462.68017号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第1条，第21页（2018年）。
MSC公司：68平方米25 68个M12 第68季度第60季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Delaune}，LIPIcs——莱布尼茨国际程序。通知。108，第1条，第21页（2018；Zbl 1462.68017）
全文： 内政部
赫里蒂·卡纳;苏博德夏尔马;塞萨尔·罗德里格斯;拉胡尔·普兰达雷

MPI程序的动态符号验证。 （英语） Zbl 1460.68029号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 466-484 (2018).
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Khanna}等人，Lect。注释计算。科学。10951、466--484（2018；Zbl 1460.68029）
全文： 内政部
鲁克斯，皮埃尔;穆罕默德·伊格伦拉拉;Sylvain Conchon公司

用于控制命令软件验证的非线性算法程序。 （英语） Zbl 1423.68469号

Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10806, 132-151 (2018).
MSC公司：68T20型 第68季度第60季度 68瓦30 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Roux}等人，Lect。注释计算。科学。10806、132--151（2018；Zbl 1423.68469）
全文： 内政部 哈尔
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔

奇偶对策的基于拟多项式集的符号算法。 （英语） Zbl 1415.68142号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 233-253 (2018).
MSC公司：第68季度第60季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，EPiC Ser。计算。57、233--253（2018；Zbl 1415.68142）
全文： 内政部 arXiv公司
亨利克·劳科;彼得·罗奇凯;JiříBarnat

通过程序转换进行符号计算。 （英语） Zbl 1518.68055号

Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 313-332 (2018).
MSC公司：68号30 68N20型 第68季度第60季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Lauko}等人，Lect。注释计算。科学。11187313--332（2018；Zbl 1518.68055）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂亚尼

可满足性的增量线性化和模非线性算术和超越函数的验证。 （英语） Zbl 1407.68285号

ACM事务处理。计算。日志。 第19号第3条第19条第52页（2018年）.
MSC公司：第68季度第60季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《美国医学杂志》。计算。日志。19，第3号，第19条，52页（2018；Zbl 1407.68285）
全文： 内政部
何塞·梅塞盖尔

重写逻辑和莫德中的符号推理方法。 （英语） Zbl 1509.68121号

Moss，Lawrence S.（编辑）等人，《逻辑、语言、信息和计算》。2018年7月24日至27日，哥伦比亚波哥大，第25届国际研讨会，WoLLIC 2018。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10944, 25-60 (2018).
MSC公司：2012年第68季度 03B70号 65年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。注释计算。科学。10944，25-60（2018；Zbl 1509.68121）
全文： 内政部
伊曼·布迪巴;克里斯托夫·加斯顿;帕斯卡尔·勒加尔;维吉尔·普雷沃斯托

带有功能总结的过渡系统的符号执行。 （英语） Zbl 1491.68108号

Gabmeyer，Sebastian（编辑）等人，《测试与证明》。2017年7月19日至20日，作为2017年STAF的一部分，在德国马尔堡举行了2017年第11届国际会议TAP。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10375, 41-58 (2017).
MSC公司：第68季度第60季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Boudhiba}等人，Lect。注释计算。科学。10375，41-58（2017；Zbl 1491.68108）
全文： 内政部 链接
阿德里安·弗兰卡兰扎

持续检测监控器。 （英语） Zbl 1442.68107号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第8条，第19页（2017年）。
MSC公司：第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Francalanza}，LIPIcs——莱布尼茨国际程序。通知。85，第8条，第19页（2017年；Zbl 1442.68107）
全文： 内政部
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进的基于集合的奇偶博弈符号算法。 （英语） Zbl 1436.68194号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第18条，第21页（2017年）。
MSC公司：第68季度第60季度 68瓦30 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。82，第18条，第21页（2017；兹bl 1436.68194）
全文： 内政部 arXiv公司
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿舍曼

使用指针算法自动证明程序的终止和内存安全。 （英语） Zbl 1409.68077号

J.汽车。推理 58，第1号，33-65（2017）.
MSC公司：68号30 2012年第68季度 第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ströder}等人，J.Autom。推理58，No.1，33--65（2017；Zbl 1409.68077）
全文： 内政部 链接
查克拉波蒂，苏普拉特克;苏拉布·卡西达什维利;Carl-Johan H.塞格。;拉杰库马尔·加贾维利;坦马·霍丹卡尔;查塔尼·迪内什;拉凯什·米斯特里

单词级验证的符号轨迹评估：理论与实现。 （英语） Zbl 1360.68582号

形式方法系统。设计。 50，编号2-3，317-352（2017）.
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}等人，《形式方法系统》。设计。50，编号2--3，317--352（2017；Zbl 1360.68582）
全文： 内政部
杨正峰;黄超;陈欣;林，王;刘志明

一种基于线性规划松弛的混合系统屏障证书生成方法。 （英语） Zbl 1427.68176号

Fitzgerald，John（ed.）等人，FM 2016：正式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 721-738 (2016).
MSC公司：第68季度第60季度 37B10号机组 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。9995721--738（2016年；Zbl 1427.68176）
全文： 内政部
罗曼·艾萨特;福雷德里克·沃辛;沃尔夫，伯克哈特

通过符号执行技术消除不可行路径。路径的正确性和保存证明。 （英语） Zbl 1478.68140号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 36-51 (2016).
MSC公司：第68季度第60季度 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Aissat}等人，Lect。注释计算。科学。9807,36-51（2016；Zbl 1478.68140）
全文： 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁

微分等价的符号计算。 （英语） 兹比尔1347.68258

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。137-150 (2016).
MSC公司：68问题85 60J28型 第68季度第60季度 68瓦30 92立方厘米 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，in：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。137-150（2016；Zbl 1347.68258）
全文： 内政部 链接
Damien Pous

语言等价和Kleene代数的符号算法及测试。 （英语） 兹比尔1346.68120

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。357-368 (2015).
MSC公司：65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。357--368（2015；Zbl 1346.68120）
全文： 内政部 arXiv公司
王海阳;段振华;田聪

交替投影时间逻辑的符号模型检查。 （英语） Zbl 1473.68108号

Lu，Zaixin（编辑）等，组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9486, 481-495 (2015).
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wang}等人，Lect。注释计算。科学。9486、481--495（2015；Zbl 1473.68108）
全文： 内政部
甘婷;陈明帅;戴丽云;夏碧灿;詹乃军

线性向量场族可达性的判定。 （英语） 兹比尔1476.68147

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。2015年10月12日至15日，第13届国际研讨会，亚洲电视协会，中国上海。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 482-499 (2015).
MSC公司：第68季度第60季度 03B25号 68瓦30 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Gan}等人，Lect。注释计算。科学。9364、482--499（2015年；Zbl 1476.68147）
全文： 内政部
马丁·布罗姆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫

重新访问线性整数算法。 （英语） Zbl 1432.68596号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 623-637 (2015).
MSC公司：68瓦30 第68季度第60季度 2007年4月68日 68伏15 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。9195、623--637（2015年；Zbl 1432.68596）
全文： 内政部 arXiv公司
她，志坤;丹·宋;李美伦

混合系统的安全性验证使用认证的多重类李雅普诺夫函数。 （英语） Zbl 1400.93282号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2015年9月14日至18日在德国亚琛举行的第17届CASC国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-24020-6/pbk；978-3-3169-24021-3/电子书）。计算机科学课程讲稿9301440-456（2015）。
MSC公司：93天30分 第68季度第60季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Z.She}等人，Lect。注释计算。科学。9301440-456（2015；Zbl 1400.93282）
全文： 内政部
尼古拉·比约纳;阿里·古芬克尔

属性定向多面体抽象。 （英语） Zbl 1432.68257号

D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8931, 263-281 (2015).
MSC公司：第68季度第60季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{N.Björner}和\textit{A.Gurfinkel}，莱克托。注释计算。科学。8931263--281（2015年；Zbl 1432.68257）
全文： 内政部
马吉德·扎马尼;伊利亚·特卡切夫;亚历山德罗·阿巴特

无状态空间离散化的随机控制系统的双相似符号模型。 （英语） Zbl 1362.93147号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。41-50 (2014).
MSC公司：93E03型 第68季度第60季度 93E15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Zamani}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。41-50（2014年；兹比尔1362.93147）
全文： 内政部
勒丁·图安;阮、胡武;阮文婷;Mai、Phuong-Nam;宝龙Pham-Duy;Quan，Thanh-Tho先生;埃蒂安·安德烈;劳雷·佩特鲁奇;刘，杨

PeCAn：Petri网的合成验证变得很容易。 （英语） Zbl 1448.68305号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 242-247 (2014).
MSC公司：第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.-T.Le}等人，Lect。注释计算。科学。8837、242--247（2014；Zbl 1448.68305）
全文： 内政部
利沃夫，M.S。

证明线性回路线性不等式不变性的一种方法。 （英语。俄文原件） Zbl 1323.68381号

赛博。系统。分析。 50，第4期，643-648（2014）; 翻译自Kibern。修女。分析。第4期，180-187（2014）。
MSC公司：第68季度第60季度 15A39型 68号30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.S.利沃夫}，Cybern。系统。分析。50，第4号，643--648（2014；Zbl 1323.68381）；翻译自Kibern。修女。分析。第4期，180--187（2014）
全文： 内政部
简·莱克;阿什什·蒂瓦里

多项式套索程序的合成。 （英语） Zbl 1428.68187号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 434-452 (2014).
MSC公司：第68季度第60季度 68号30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.Leike}和\textit{A.Tiwari}，莱克特。注释计算。科学。8318434-452（2014年；Zbl 1428.68187）
全文： 内政部 arXiv公司
迈克尔·汉森。;潘安敦;布雷克林（Aske W.Brekling）。

使用Presburger算法对持续时间演算进行模型检查的实用方法。 （英语） Zbl 1315.68180号

安。数学。Artif公司。智力。 71，编号1-3，251-278（2014）.
MSC公司：第68季度第60季度 03B44号 03B70号 30楼03号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Hansen}等人，《数学年鉴》。Artif公司。智力。71，编号1--3，251--278（2014；Zbl 1315.68180）
全文： 内政部
鲁道夫·伯哈默;尼基塔·达尼连科;海宁·施诺尔

关系代数和RelView应用于批准投票。 （英语） 兹比尔1405.68456

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，309-326（2014）。
MSC公司：68瓦30 03克15 第68季度第60季度 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}等人，Lect。注释计算。科学。8428、309--326（2014；Zbl 1405.68456）
全文： 内政部
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克

使用SMT解算器进行符号优化。 （英语） Zbl 1284.68410号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。607-618 (2014).
MSC公司：第68季度第60季度 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）
全文： 内政部
克里希南德·查特吉;莫妮卡·亨津格;玛纳斯·乔格勒卡尔;尼萨尔·沙阿

用于具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 （英语） Zbl 1291.68251号

形式方法系统。设计。 42，第3期，301-327（2013）.
MSC公司：第68季度第60季度 87年第68季度 68瓦30 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《形式方法系统》。设计。42，第3号，301-327（2013；Zbl 1291.68251）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件