比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定日志进行离线和在线节能监测。 (英语) Zbl 07789013号 日志。方法计算。科学。 20,第1号,第2号论文,33页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈},日志。方法计算。科学。20,第1号,第2号论文,33页(2024;Zbl 07789013) 全文: 内政部 arXiv公司
丹尼尔·米埃德马;马尔文·加廷格 利用逻辑谜题中的不对称性:使用ZDDs进行符号模型检查动态认知逻辑。 (英语) 兹比尔07810630 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379407-420(2023年)。MSC公司:03年XX月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miedema}和\textit{M.Gattinger},电子。程序。西奥。计算。科学。(EPTCS)379,407--420(2023;Zbl 07810630) 全文: 内政部 arXiv公司
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 07760992号 ACM事务处理。计算。日志。 24,第4号,第31号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},ACM Trans。计算。日志。24,第4号,第31号论文,28页(2023;Zbl 07760992) 全文: 内政部
阿尼萨·凯里丁;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 约束条件 28,编号1,45-66(2023).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: 内政部
布兰德,塞巴斯蒂安;托马斯·伯克;阿尔芬斯·拉尔曼 可达性的决策图操作。 (英语) Zbl 07728860号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 514-532 (2023).MSC公司:60年第68季度 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Brand}等人,Lect。注释计算。科学。14000,514--532(2023;Zbl 07728860) 全文: 内政部 arXiv公司
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,28 p.(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 表aux和后续计算CTL公司和ECTL公司:通过认证证据和模型进行满意度测试。 (英语) Zbl 07618127号 J.日志。阿尔盖布。方法计划。 130,文章ID 100828,30 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100828,30 p.(2023;Zbl 07618127) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 回合制随机博弈的符号验证和策略综合。 (英语) Zbl 1528.68229号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 388-406 (2022).MSC公司:60年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。13660388--406(2022年;Zbl 1528.68229) 全文: 内政部 arXiv公司
马尔钦·尤季扬斯基;雷米·莫尔万;Thejaswini,K.S。 奇偶博弈和嵌套不动点的通用算法。 (英语) Zbl 1528.68404号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 252-271 (2022).MSC公司:68周05 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人,莱克特。注释计算。科学。13660252--271(2022年;Zbl 1528.68404) 全文: 内政部 arXiv公司
Guerra,Paulo T。;雷娜塔·瓦瑟曼 修改时序逻辑中的系统规范。 (英语) Zbl 1515.68180号 J.逻辑语言信息。 31,4号,591-618(2022).MSC公司:60年第68季度 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann},J.Logic Lang.Inf.31,No.4,591--618(2022;Zbl 1515.68180) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 定期模型检查:演变和观点。 (英语) Zbl 1522.68291号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 78-96 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},莱克特。注释计算。科学。13030,78--96(2022;Zbl 1522.68291) 全文: 内政部
亚历山德罗·西马蒂;田,春;斯特凡诺·托内塔 基于假设的运行时验证。 (英语) Zbl 07683090号 形式方法系统。设计。 60,第2号,277-324(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号2,277--324(2022;Zbl 07683090) 全文: 内政部
奥尔纳·库普弗曼;阿萨夫·佩特鲁什卡 懒散的常规感应。 (英语) Zbl 07643470号 Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第24届IFIP工作组1.02国际会议,DCFS 2022,Debrecen,Hungary,2022年8月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13439, 155-169 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{A.Petruschka},莱克特。注释计算。科学。13439,155--169(2022;Zbl 07643470) 全文: 内政部
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby,Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 (英语) Zbl 1498.68160号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).MSC公司:60年第68季度 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13182、151--173(2022年;Zbl 1498.68160) 全文: 内政部
莱恩Rumreich;保罗·A·G·西维洛蒂。 使用RESOLVE框架对Java组件进行形式化验证。 (英语) Zbl 07497928号 Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941, 287-305 (2021).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{L.Rumreich}和\textit{P.A.G.Sivilotti},莱克特。注释计算。科学。12941,287--305(2021;Zbl 07497928) 全文: 内政部
泽维尔·吉拉德;维也纳科佩;皮埃尔·绍斯;安德烈·奥古斯托·西雷 改进分支和绑定MDD求解器的过滤。 (英语) Zbl 07493632号 Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 231-247 (2021).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{X.Gillard}等人,Lect。注释计算。科学。12735、231--247(2021;Zbl 07493632) 全文: 内政部 arXiv公司
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克,大卫 符号彩色SCC分解。 (英语) Zbl 1474.68210号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).MSC公司:68兰特 05C15号 05C85号 68瓦30 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。12652,64-83(2021;Zbl 1474.68210) 全文: 内政部
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 1467.68203号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).MSC公司:68伏15 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},莱克特。注释计算。科学。12651、76-93(2021年;Zbl 1467.68203) 全文: 内政部 arXiv公司
海宁·博迪恩;马库斯·霍尔泽 关于有限自动机的活动状态数。 (英语) Zbl 1520.68052号 学报信息。 58,第4号,301-318(2021).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},《学报参考》58,第4期,301-318(2021年;Zbl 1520.68052) 全文: 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 用于CTL和ECTL的单程基于上下文的表格辅助系统。 (英语) Zbl 07760484号 穆尼奥斯·韦拉斯科,埃米利奥(编辑)等人,第27届时间表征和推理国际研讨会。《时代》2020,2020年9月23日至25日,意大利Bozen-Bolzano。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178,第14条,第20页(2020年)。MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,LIPIcs——莱布尼茨国际程序。通知。178,第14条,第20页(2020;Zbl 07760484) 全文: 内政部
马凯·曼;克拉克·巴雷特 部分订单减少,用于同步硬件中的深度错误查找。 (英语) Zbl 1507.68194号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 367-386 (2020).MSC公司:60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}和\textit{C.Barrett},莱克特。注释计算。科学。12078,367--386(2020;Zbl 1507.68194) 全文: 内政部
Oebele Lizzenga;汤姆·范·迪克 产生获胜策略的象征性平价游戏求解器。 (英语) Zbl 07455738号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326,18-32(2020年)。MSC公司:第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Lizzenga}和\textit{T.van Dijk},电子。程序。西奥。计算。科学。(EPTCS)326,18-32(2020;Zbl 07455738) 全文: arXiv公司 链接
克劳斯·哈维隆德;多龙·贝利德;多根·乌卢斯 使用BDD进行一阶时间逻辑监控。 (英语) Zbl 1506.68055号 形式方法系统。设计。 56,编号1-3,1-21(2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,《形式方法系统》。设计。56,编号1-3,1-21(2020;兹bl 1506.68055) 全文: 内政部
文斯·莫尔纳;伊斯坦·马齐克 用条件局部性增强饱和度:在Petri网中的应用。 (英语) Zbl 07796231号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522342-361(2019年)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}和\textit{I.Majzik},莱克特。注释计算。科学。11522、342--361(2019;Zbl 07796231) 全文: 内政部
沃伊切赫·贾姆罗加;米夏·克纳皮克;达米安·库尔皮夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 (英语) Zbl 1478.68384号 Artif公司。智力。 277,文章ID 103172,30 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103172,30页(2019;兹bl 1478.68384) 全文: 内政部 链接
哈达尔·弗兰克尔;奥尔纳·格伦伯格;莎莱·申瓦尔德 一种自动机理论方法,用于无限数据域上的模型检查系统和规范。 (英语) Zbl 1468.68128号 J.自动化。推理 63,第4期,1077-1101(2019).MSC公司:60年第68季度 05年3月 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,J.Autom。推理63,No.4,1077--1101(2019;Zbl 1468.68128) 全文: 内政部
佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 (英语) Zbl 1425.68285号 正式Asp。计算。 31,第3号,375-409(2019).MSC公司:68问题85 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonino}等人,《正式Asp》。计算。31,第3号,375--409(2019;Zbl 1425.68285) 全文: 内政部
张富源;赵永旺;大卫·萨南;刘,杨;蒂乌,阿尔文;林尚伟;孙骏 共享变量并发程序的组合推理。 (英语) Zbl 1460.68067号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 523-541 (2018).MSC公司:60年第68季度 第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Zhang}等人,Lect。注释计算。科学。10951、523--541(2018;Zbl 1460.68067) 全文: 内政部 arXiv公司 链接
萨姆·巴斯;德米特里·伊特西克森;亚历山大·诺普;德米特里·索科洛夫 重新排序规则使OBDD证明系统更强大。 (英语) Zbl 1441.03042号 Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第16条,第24页(2018年)。MSC公司:20层03 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}等人,LIPIcs——莱布尼茨国际程序。通知。102,第16条,第24页(2018;Zbl 1441.03042) 全文: 内政部
马克·伯里 基于随机OBDD的图形算法。 (英语) Zbl 1407.68533号 西奥。计算。科学。 751, 24-45 (2018).MSC公司:68瓦20 05C85号 68第05页 PDF格式BibTeX公司 XML格式引用 \发短信{M.Bury},Theor。计算。科学。751,24-45(2018;Zbl 1407.68533) 全文: 内政部
鲁帕克·马朱姆达尔;Jean-François拉斯金 非布尔域中的符号模型检查。 (英语) Zbl 1392.68259号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1111-1147 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{J.-F.Raskin},in:模型检查手册。查姆:斯普林格。1111--1147(2018;Zbl 1392.68259) 全文: 内政部
帕特丽斯·戈德弗里德;塞·库什克 模型检查和测试相结合。 (英语) Zbl 1392.68250号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。613-649 (2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{K.Sen},in:模型检查手册。查姆:斯普林格。613--649(2018;Zbl 1392.68250) 全文: 内政部
萨加·查基;阿里·古芬克尔 基于BDD的符号模型检查。 (英语) Zbl 1392.68239号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。219-245 (2018).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{A.Gurfinkel},in:模型检查手册。查姆:斯普林格。219--245(2018;Zbl 1392.68239) 全文: 内政部
Randal E.布莱恩特。 二进制决策图。 (英语) Zbl 1392.68151号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。191-217 (2018).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},in:模型检查手册。查姆:斯普林格。191-217(2018;Zbl 1392.68151) 全文: 内政部
Á. 阿尔瓦罗·托拉尔巴;卡洛斯·利纳雷斯·洛佩兹;丹尼尔·博拉乔 用于成本最优规划的符号边界抽象启发法。 (英语) Zbl 1445.68199号 Artif公司。智力。 259, 1-31 (2018).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{阿尔.阿尔.托拉尔巴}等人,Artif。智力。259,1--31(2018;Zbl 1445.68199) 全文: 内政部
彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 (英语) Zbl 1395.68255号 Inf.计算。 261,第3部分,588-614(2018).MSC公司:68T27型 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人,《Inf.Compute》。261,第3部分,588--614(2018;Zbl 1395.68255) 全文: 内政部
托法、哈泽姆;马丁·齐默尔曼 线性时间时序逻辑计数模型的复杂性。 (英语) Zbl 1390.68441号 学报信息。 55,第3期,191-212(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Torfah}和\textit{M.Zimmermann},《学报》第55期,第3期,191--212(2018年;Zbl 1390.68441) 全文: 内政部 链接
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) Zbl 1382.68142号 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: 内政部
吴义钦;瓦苏马提·拉曼;布莱克·罗林斯。;圣菲拉福顿;Sanjit A.Seshia。 综合模糊处理策略以确保隐私和实用性。 (英语) Zbl 1426.68085号 J.自动化。推理 60,第1期,107-131(2018).MSC公司:68第27页 第68季度第45季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}等人,J.Autom。推理60,编号1,107-131(2018;Zbl 1426.68085) 全文: 内政部 链接
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:87年第68季度 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
海宁·博迪恩;马库斯·霍尔泽 关于确定性和非确定性有限自动机中的活动状态数。 (英语) 兹比尔1489.68121 Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 40-51 (2017).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},Lect。注释计算。科学。10329,40-51(2017;Zbl 1489.68121) 全文: 内政部
J·以西结。;A.Lomuscio。 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 (英语) Zbl 1370.68201号 Inf.计算。 254,第2部分,167-194(2017).MSC公司:60年第68季度 68个M12 68米15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ezekiel}和\textit{A.Lomuscio},Inf.Compute。254,第2部分,167--194(2017;Zbl 1370.68201) 全文: 内政部
Tewodros A.Beyene。;科内留·波皮亚;安德烈·里巴尔琴科 通过Horn约束求解实现高效的CTL验证。 (英语) Zbl 1482.68134号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2191-14(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Beyene}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,1-14(2016年;兹bl 1482.68134) 全文: arXiv公司 链接
文斯·莫尔纳;安德拉斯·Vörös;达尼尔·达瓦斯;塔马斯·巴塔;伊斯坦·马齐克 组件级增量LTL模型检查。 (英语) 兹比尔1355.68178 正式Asp。计算。 28,第3号,345-379(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}等人,《形式Asp》。计算。28,第3号,345--379(2016;Zbl 1355.68178) 全文: 内政部 链接
维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1356.68146号 西奥。计算。科学。 655,B部分,155-192(2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},Theor。计算。科学。655,B部分,155--192(2016;Zbl 1356.68146) 全文: 内政部 arXiv公司
曼弗雷德·科伯;克里斯托夫·兰格;科林·罗亚特 介绍机械化推理。 (英语) Zbl 1368.68289号 数学杂志。经济。 66, 26-39 (2016).MSC公司:第68页第15页 03B35型 91B14号机组 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}等人,J.Math。经济。66、26-39(2016年;Zbl 1368.68289) 全文: 内政部 arXiv公司
西里尔·杰古尔;Legay、Axel;肖恩·塞德瓦兹 用于统计模型检查的基于命令的重要性抽样。 (英语) Zbl 1377.68133号 西奥。计算。科学。 649, 1-24 (2016).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jegorel}等人,Theor。计算。科学。649,1--24(2016;Zbl 1377.68133) 全文: 内政部
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼;大卫·帕克;拉胡尔·瓦尔什内亚 在概率环境中合成高效系统。 (英语) Zbl 1344.68171号 学报信息。 53,第4号,425-457(2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}等人,《信息学报》53,第4期,425--457(2016年;Zbl 1344.68171) 全文: 内政部 链接
维克多·舒潘 通过时间分辨率提取LTL的不可满足核心。 (英语) Zbl 1338.68170号 学报信息。 53,第3期,247-299(2016).MSC公司:60年第68季度 03B44号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,第3号,247-299(2016;兹bl 1338.68170) 全文: 内政部 arXiv公司
朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;帕特里齐,法比奥;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 代理规划程序。 (英语) Zbl 1344.68245号 Artif公司。智力。 231, 64-106 (2016).MSC公司:68T42型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。231、64-106(2016年;Zbl 1344.68245) 全文: 内政部
詹姆·阿里亚斯;米歇尔·古兹曼;卡洛斯·奥拉特 时间并发约束编程的符号模型。 (英语) Zbl 1342.68222号 Ayala-Rincón,Mauricio(编辑)等人,《逻辑和语义框架及其应用第九次研讨会论文集》(LSFA 2014),巴西巴西利亚,2014年9月8日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记312161-177,仅电子版(2015)。MSC公司:68问题85 03B44号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人,《电子》。理论注释。计算。科学。312161-177(2015;Zbl 1342.68222) 全文: 内政部
王海阳;段振华;田聪 交替投影时序逻辑的符号模型检查。 (英语) Zbl 1473.68108号 Lu,Zaixin(编辑)等,组合优化与应用。第九届国际会议,COCOA 2015,美国德克萨斯州休斯顿,2015年12月18-20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9486, 481-495 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人,Lect。注释计算。科学。9486、481--495(2015;Zbl 1473.68108) 全文: 内政部
马克·伯里 基于随机OBDD的图形算法。 (英语) Zbl 1407.68532号 Christian Scheidler(编辑),《结构信息和通信复杂性》。2015年7月14日至16日,西班牙蒙特塞拉特,第22届国际学术讨论会,SIROCCO 2015。诉讼后。查姆:斯普林格。莱克特。注释计算。科学。9439, 254-269 (2015).MSC公司:68瓦20 05C85号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bury},莱克特。注释计算。科学。9439,254--269(2015;Zbl 1407.68532) 全文: 内政部
福阿德·阿布贾拉德;林一燕;博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。 在没有明确合法状态的情况下自动添加容错的复杂性。 (英语) Zbl 1331.68031号 分布计算。 28,第3期,201-219(2015).MSC公司:68米15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Abujarad}等人,《分布计算》。28,第3号,201--219(2015;Zbl 1331.68031) 全文: 内政部
徐永生;杨国武;张正伟;郑德胜;郭文胜 GSTE中的终端可满足性。 (英语) Zbl 1442.68111号 J.应用。数学。 2014年,文章ID 725275,10 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人,J.Appl。数学。2014年,文章ID 725275,10 p.(2014;Zbl 1442.68111) 全文: 内政部
刘万伟;王瑞;傅显金;王,季;董伟;毛晓光 反例—用于符号模型检查的保留简化。 (英语) Zbl 1442.68110号 J.应用。数学。 2014年,文章ID 702165,13 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,J.Appl。数学。2014年,文章ID 702165,13 p.(2014;Zbl 1442.68110) 全文: 内政部
安东内拉·桑顿;吉利奥拉·瓦格利尼 简化跟踪系统上的模型检查属性。 (英语) Zbl 1461.68119号 算法(巴塞尔) 7,第3期,339-362(2014).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},算法(巴塞尔)7,第3期,339--362(2014;Zbl 1461.68119) 全文: 内政部
于斌;段振华;田聪 红绿灯控制系统的有界模型检验。 (英语) Zbl 1351.68169号 薛进云(编辑)等,第六届软件工具支持理论利用国际研讨会论文集(TTSS 2013),中国南昌,2013年10月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记309,63-74,仅电子版(2014)。MSC公司:60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人,电子。理论注释。计算。科学。309、63-74(2014年;Zbl 1351.68169) 全文: 内政部
山形,Yoriyuki;孔伟强;福田、阿基拉;唐,阮凡;大崎,Hitoshi;田口,Kenji 使用CSP#的扩展层次状态转换矩阵的形式语义。 (英语) Zbl 1342.68201号 正式Asp。计算。 26,第5期,943-962(2014).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yamagata}等人,正式Asp。计算。26,编号5,943-962(2014;兹bl 1342.68201) 全文: 内政部
比斯特拉·迪尔基纳;卡拉·戈麦斯。;阿什什·萨巴沃尔 可满足性后门复杂性的权衡:动态子解算器和搜索过程中的学习。 (英语) Zbl 1357.68205号 安。数学。Artif公司。智力。 70,第4期,399-431(2014).MSC公司:68T20型 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Dilkina}等人,《数学年鉴》。Artif公司。智力。70,第4号,399--431(2014;Zbl 1357.68205) 全文: 内政部
冯、袁;邓雨欣;英明生 量子过程的符号互模拟。 (英语) Zbl 1291.68237号 ACM事务处理。计算。日志。 第15号第2条第14条第32页(2014年).MSC公司:68问题55 68问题85 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。15,第2号,第14条,第32页(2014;Zbl 1291.68237) 全文: 内政部 arXiv公司
胡安·佩尔纳。;克里斯·乔治 型号检查RAISE应用规范。 (英语) Zbl 1298.68065号 正式Asp。计算。 25,第3期,365-388(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Perna}和\textit{C.George},正式Asp。计算。25,第3号,365-388(2013;Zbl 1298.68065) 全文: 内政部 链接
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 (英语) Zbl 1291.68250号 形式方法系统。设计。 43,编号3,450-492(2013).MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人,《形式方法系统》。设计。43,第3号,450-492(2013;Zbl 1291.68250) 全文: 内政部
贝特·博利格;迈克尔·卡佩尔 度量TSP近似值的优先级函数。 (英语) Zbl 1296.68193号 Inf.流程。莱特。 113,第14-16号,584-591(2013).MSC公司:68周25 05C85号 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Capelle},Inf.过程。莱特。113,编号14-16584-591(2013;Zbl 1296.68193) 全文: 内政部
陈静淑;桑迪普·库尔卡尼 MR4UM:一个向UML状态图添加容错的框架。 (英语) Zbl 1294.68043号 西奥。计算。科学。 496, 17-33 (2013).MSC公司:68米15 60年第68季度 93C40型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}和\textit{S.Kulkarni},Theor。计算。科学。496、17-33(2013年;Zbl 1294.68043) 全文: 内政部
波胡斯拉夫·科埃纳;汤姆·沃纳 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 第4335-365号第42页(2013年).MSC公司:60年第68季度 第68页第15页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},《国际遗传学》。42,第4号,335--365(2013;Zbl 1286.68318) 全文: 内政部
卢博什·布里姆;科什卡,米兰;萨夫拉内克,大卫 生物系统的模型检查。 (英语) Zbl 1380.92024号 Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,63-112(2013)。MSC公司:92立方厘米 60年第68季度 2008年9月 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,Lect。注释计算。科学。7938,63-112(2013;Zbl 1380.92024) 全文: 内政部
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 (英语) Zbl 1284.68171号 形式方法系统。设计。 41,第1期,66-82(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。41,第1号,66--82(2012;Zbl 1284.68171) 全文: 内政部 链接
新墨西哥州加拉尼娜。 具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 (英语。俄文原件) Zbl 1257.68151号 程序。计算。柔和。 38,第6期,294-303(2012); 译自Programmirovanie 38,No.6(2012)。MSC公司:68瓦40 60年第68季度 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.O.Garanina},程序。计算。柔和。38,第6号,294--303(2012;Zbl 1257.68151);译自Programmirovanie 38,No.6(2012) 全文: 内政部
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德 屏蔽容错分布式程序的符号合成。 (英语) 兹比尔1285.68016 分布计算。 25,第1期,83-108(2012).MSC公司:68米15 68米14 68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人,《分布计算》。25,编号1,83--108(2012;Zbl 1285.68016) 全文: 内政部
吕迪格·埃勒斯 符号有界合成。 (英语) Zbl 1247.68163号 形式方法系统。设计。 40,第2期,232-262(2012).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
贝特·博利格 基于符号OBDD的最小生成树问题算法研究。 (英语) Zbl 1245.05125号 西奥。计算。科学。 447, 2-12 (2012).MSC公司:05C85号 05二氧化碳 68兰特 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{B.Bollig},Theor。计算。科学。447,2--12(2012;Zbl 1245.05125) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦州瓦尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 第68季度第45季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,No.10--111122--1150(2012;Zbl 1243.68212) 全文: 内政部
乔里·杜布罗文;汤米·琼蒂拉;凯乔·赫尔扬科 利用步骤语义对异步系统进行有效的有界模型检查。 (英语) Zbl 1243.68213号 科学。计算。程序。 77,第10-11号,1095-1121(2012).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubrovin}等人,科学。计算。程序。77,No.10--111095--1121(2012;Zbl 1243.68213) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 (英语) Zbl 1279.68211号 J.计算。系统。科学。 78,第2期,430-440(2012).MSC公司:60年第68季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人,J.Compute。系统。科学。78,第2号,430-440(2012;Zbl 1279.68211) 全文: 内政部
克里斯汀·罗泽尔。 线性时序逻辑符号模型检查。 (英语) Zbl 1298.68176号 计算。科学。版次。 第5期,第2期,第163-203页(2011年).MSC公司:60年第68季度 03B44号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Rozier},计算。科学。第5版,第2号,163--203(2011;Zbl 1298.68176) 全文: 内政部
伊利耶斯·法尔科内;穆罕默德·贾比尔;阮,Thanh-Hung;马吕斯·博兹加;萨德克·本萨勒姆 基于组件的系统的运行时验证。 (英语) Zbl 1350.68060号 Barthe,Gilles(编辑)等人,《软件工程和形式化方法》。2011年11月14日至18日,乌拉圭蒙得维的亚,2011年SEFM第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24689-0/pbk)。计算机科学课堂讲稿7041204-220(2011)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}等人,Lect。注释计算。科学。7041204-220(2011;Zbl 1350.68060) 全文: 内政部
马丁·施瓦里克;阿列克谢·托夫奇格里奇科 基于IDD的生化网络模型验证。 (英语) Zbl 1216.68197号 西奥。计算。科学。 412,第26号,2884-2908(2011).MSC公司:68问题85 03B44号 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Schwarick}和\textit{A.Tovchigrechko},Theor。计算。科学。412,第26号,2884--2908(2011;Zbl 1216.68197) 全文: 内政部
哈坎·L·S·尤尼斯。;埃德蒙·克拉克(Edmund M.Clarke)。;保罗·祖利亚尼 概率特性的统计验证,直到。 (英语) Zbl 1325.68158号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527144-160(2011)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}等人,Lect。注释计算。科学。6527,144-160(2011;Zbl 1325.68158) 全文: 内政部 链接
Michael Leuschel先生;Jens Bendisposto公司 B的定向模型检查:一种评估和新技术。 (英语) Zbl 1325.68153号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527,1-16(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{J.Bendispato},莱克特。注释计算。科学。6527,1-16(2011;Zbl 1325.68153) 全文: 内政部
亚伦·R·布拉德利。 基于SAT的模型检查,无需展开。 (英语) Zbl 1317.68109号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,70-87(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley},莱克特。注释计算。科学。6538,70-87(2011;Zbl 1317.68109) 全文: 内政部
菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德 通过过滤进行控制器/编配器合成。 (英语) Zbl 1345.68227号 Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,33-48(2010)。MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,《电子》。理论注释。计算。科学。262,33-48(2010年;兹比尔1345.68227) 全文: 内政部
科尔钦,A.V。 一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号 赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin},Cybern。系统。分析。46,No.4,583--601(2010;Zbl 1288.68166);翻译自Kibern。修女。分析。2010年第4期,70--90(2010) 全文: 内政部
莱蒂切夫斯基(A.A.Letichevsky)。;戈德列夫斯基,A.B。;A.A.jun Letychevsky。;波提延科,S.V。;佩沙连科,V.S。 VRS系统的谓词变换器的属性。 (英语。俄文原件) Zbl 1288.68167号 赛博。系统。分析。 46,第4期,521-532(2010); 翻译自Kibern。修女。分析。2010年,第4期,第3-16页(2010年)。MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人,Cybern。系统。分析。46,第4号,521--532(2010;Zbl 1288.68167);翻译自Kibern。修女。分析。2010年,第4期,第3--16期(2010年) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 好的(更好的)准序跃迁系统。 (英语) Zbl 1207.68219号 牛市。符号。日志。 16,第4期,457-515(2010).MSC公司:68问题85 2012年第68季度 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},公牛。符号。日志。16,第4号,457--515(2010;Zbl 1207.68219) 全文: 内政部
伦辛,阿伦德 图形转换的边缘——用于行为规范的图形。 (英语) Zbl 1309.68112号 Gregor(编辑)Engels等人,《图形转换和模型驱动工程》,在Manfred Nagl 65岁生日之际发表的论文。柏林:施普林格出版社(ISBN 978-3-642-17321-9/pbk)。计算机科学课堂讲稿5765,6-32(2010)。MSC公司:2012年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink},莱克特。注释计算。科学。5765,6--32(2010;Zbl 1309.68112) 全文: 内政部
彼得·巴赫霍尔茨;彼得·坎佩尔 一类加权自动机的模型检验。 (英语) Zbl 1206.68186号 离散事件动态。系统。 20,第1期,103-137(2010).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}和\textit{P.Kemper},离散事件动态。系统。20,第1号,第103--137条(2010;Zbl 1206.68186) 全文: 内政部 arXiv公司
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号 Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).MSC公司:60年第68季度 2010年第68季度 第68季度第45季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:加权自动机手册。柏林:斯普林格。519-570(2009年;兹比尔1484.68095) 全文: 内政部
保罗·巴拉里尼;安德拉斯·霍瓦思 产品形态CTMC的成分模型检查。 (英语) Zbl 1339.68163号 Michael Goldsmith(编辑)等人,《关键系统自动验证第七届国际研讨会论文集》(AVoCS 2007),英国牛津,2007年9月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》250,第1期,21-37(2009)。MSC公司:60年第68季度 03B70号 60年28日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ballarini}和\textit{A.Horváth},电子。理论注释。计算。科学。250,编号1,21-37(2009年;兹bl 1339.68163) 全文: 内政部
福阿德·阿布贾拉德;Sandeep S.Kulkarni。 用于自动添加容错性的最弱不变量生成。 (英语) Zbl 1294.68048号 Marcus,Leo(编辑),容错逻辑方面研讨会论文集(LAFT 2009),美国加利福尼亚州洛杉矶,2009年8月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》258,第2期,3-15页(2009年)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Abujarad}和\textit{S.S.Kulkarni},电子。理论注释。计算。科学。258,第2、3--15号(2009;Zbl 1294.68048) 全文: 内政部
马丁·兰格 混合逻辑的模型检查。 (英语) Zbl 1193.03053号 J.逻辑语言信息。 18,第4期,465-491(2009).MSC公司:03B62号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},J.Logic Lang.Inf.18,No.4,465--491(2009;Zbl 1193.03053) 全文: 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 混合系统:通过结合运动规划和离散搜索,从验证到证伪。 (英语) Zbl 1192.68692号 形式方法系统。设计。 34,第2期,157-182(2009).MSC公司:68T40型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Plaku}等人,《形式方法系统》。设计。34,第2号,157--182(2009;Zbl 1192.68692) 全文: 内政部 链接
J·朱利安德。;马森,P.-A。;E.乌多特。 用于精细过渡系统的分区PLTL模型检查。 (英语) 兹比尔1183.68375 Inf.计算。 207,第6期,681-698(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人,《信息计算》。207,第6号,681--698(2009;Zbl 1183.68375) 全文: 内政部 哈尔
罗宾·农克塞;菲利普·沃尔费尔 OBDD对图形的表示。 (英语) Zbl 1284.05181号 离散应用程序。数学。 157,第2期,247-261(2009).MSC公司:05C62号 68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Nunkesser}和\textit{P.Woelfel},离散应用。数学。157,第2号,247--261(2009;Zbl 1284.05181) 全文: 内政部
莫舍·瓦尔迪。 从哲学到工业逻辑。 (英语) Zbl 1209.68325号 Ramanujam,R.(编辑)等人,《逻辑及其应用》。2009年1月7日至11日,第三届印度会议,ICLA 2009,印度钦奈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92700-6/pbk)。计算机科学讲义5378。人工智能课堂讲稿,89-115(2009)。MSC公司:60年第68季度 03B44号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{M.Y.Vardi},Lect。注释计算。科学。5378,89-115(2009年;Zbl 1209.68325) 全文: 内政部
海克,韦尔海姆 部分Kripke结构的有界模型检查。 (英语) Zbl 1161.68589号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学课堂讲稿5160380-394(2008)。MSC公司:60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},莱克特。注释计算。科学。5160380-394(2008年;Zbl 1161.68589) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳 属性定向增量不变量生成。 (英语) Zbl 1149.68402号 正式Asp。计算。 20,编号4-5379-405(2008).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}和\textit{Z.Manna},正式Asp。计算。20,编号4--5,379--405(2008;Zbl 1149.68402) 全文: 内政部
埃德蒙·克拉克(Edmund M.Clarke)。 模型检查的诞生。 (英语) 兹比尔1142.68046 Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学课堂讲稿5000,1-26(2008)。 审核人:Klaus D.Kiermeier(柏林) MSC公司:60年第68季度 03B44号 03B70号 68-03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke},莱克特。注释计算。科学。5000,1-26(2008;Zbl 1142.68046) 全文: 内政部