×

找到82个文档(结果1-82)

自动机理论。算法方法。 (英语) Zbl 07770922号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04863-7/hbk;978-0-2262-37693-8/电子书)。xii,532页。,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

人口协议的状态复杂性(受邀谈话)。 (英语) Zbl 07799580号

Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第2条,第1页(2021年)。
MSC公司:68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

回到未来:重新审视线性时序逻辑。 (英语) Zbl 07495100号

Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算参数化Petri网的参数化不变量。 (英语) Zbl 1489.68158号

Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12734, 141-163 (2021).
PDF格式BibTeX公司 XML格式引用

验证。 (英语) Zbl 07425674号

Pin,Jean-Éric(编辑),《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林:欧洲数学学会(EMS)。1415-1456 (2021).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

门限自动机验证和合成的复杂性。 (英语) Zbl 1517.68221号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12302, 144-160 (2020).
PDF格式BibTeX公司 XML格式引用

用于验证具有参数化体系结构的系统的结构不变量。 (英语) Zbl 1507.68179号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 228-246 (2020).
PDF格式BibTeX公司 XML格式引用

即时观察Petri网的平坦性和复杂性。 (英语) Zbl 07559501号

Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第45条,第19页(2020年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

利用随机调度检验复制系统的定性活性。 (英语) Zbl 1478.68147号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12225, 372-397 (2020).
PDF格式BibTeX公司 XML格式引用

即时观测Petri网的参数化分析。 (英语) Zbl 07796233号

Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 365-385 (2019).
PDF格式BibTeX公司 XML格式引用

用于验证和分析的自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。 (英语) Zbl 1428.68012号

计算机科学课堂讲稿11781.查姆:施普林格(ISBN 978-3-030-31783-6/pbk;978-3-0030-31784-3/电子书)。xi,第552页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证即时观察人群方案。 (英语) Zbl 1520.68072号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第31条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用

黑暗中的黑忍者:人口协议的形式分析。 (英语) Zbl 1487.68031号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。1-10 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查程序程序。 (英语) Zbl 1392.68226号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。541-572 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自由选择工作流Petri网定量分析的进展(特邀演讲)。 (英语) Zbl 1515.68203号

Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第2条,第6页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

致力于人口协议的有效验证。 (英语) Zbl 1380.68037号

2017年7月25日至27日在美国华盛顿特区举行的2017年ACM分布式计算原理研讨会论文集,PODC’17。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4992-5)。423-430 (2017).
PDF格式BibTeX公司 XML格式引用

人口协议参数化验证的进展。 (英语) Zbl 1489.68035号

Weil,Pascal(编辑),《计算机科学——理论与应用》。2017年6月8日至12日,第十二届俄罗斯国际计算机科学研讨会,CSR 2017,俄罗斯喀山。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10304, 7-14 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性时序逻辑的极限确定Büchi自动机。 (英语) Zbl 1411.68054号

Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。9780, 312-332 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查填充协议。 (英语) Zbl 1391.68078号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第27条,第14页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

谈判的稳健性。 (英语) Zbl 1392.68298号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学论文集59,第12条,第13页(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,热那亚,意大利,2015年9月21日至22日。 (英语) 兹比尔1435.68028

理论计算机科学电子论文集(EPTCS)193.滑铁卢:开放出版协会(OPA)。185页。,仅电子版,开放存取(2015年)。
PDF格式BibTeX公司 XML格式引用

模型检查参数化异步共享内存系统。 (英语) Zbl 1381.68158号

Kroening,Daniel(编辑)等人,《计算机辅助验证》。第27届国际会议,CAV 2015,美国加利福尼亚州旧金山,2015年7月18日至24日。诉讼程序。第一部分:查姆:施普林格(ISBN 978-3-319-21689-8/pbk;978-3-3169-21690-4/电子书)。计算机科学讲义9206,67-84(2015)。
PDF格式BibTeX公司 XML格式引用

人口协议的验证。 (英语) Zbl 1374.68326号

Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,470-482(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式马尔可夫链。 (英语) Zbl 1432.68266号

D’Souza,Deepak(编辑)等人,《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8931, 117-134 (2015).
PDF格式BibTeX公司 XML格式引用

确保人群安全:关于参数化验证的复杂性(受邀演讲)。 (英语) Zbl 1359.68189号

Mayr,Ernst W.(编辑)等人,第31届计算机科学理论方面国际研讨会,STACS’14,法国里昂,2014年3月5日至8日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-65-1)。LIPIcs–莱布尼茨国际信息学论文集25,1-10(2014)。
PDF格式BibTeX公司 XML格式引用

分布式协议验证的消息传递算法。 (英语) Zbl 1428.68185号

McMillan,Kenneth L.(编辑)等人,《验证、模型检查和抽象解释》。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8318222-241(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

基于SMT的覆盖性分析方法。 (英语) Zbl 1487.68156号

Biere,Armin(编辑)等人,《计算机辅助验证》。2014年7月18日至22日在奥地利维也纳举行的第26届国际会议,CAV 2014,作为维也纳逻辑夏季的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8559, 603-619 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界验证的完美模型。 (英语) Zbl 1362.68168号

2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2012,克罗地亚杜布罗夫尼克,2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-4769-5)。285-294 (2012).
PDF格式BibTeX公司 XML格式引用

无限状态系统验证的三个案例研究。 (英语) Zbl 1256.68117号

D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,373-414(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

Rabinizer:用于\({\mathrm{LTL}(\mathrm{F},\mathrm2{G})}\)的小型确定性自动机。 (英语) Zbl 1374.68259号

Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561,72-76(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多线程程序基于模式的验证的复杂性。 (英语) Zbl 1284.68182号

2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。499-510 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可靠性和安全性的逻辑和语言。根据2009年8月4日至16日在德国马尔托贝尔多夫举行的第30届国际暑期学校的演讲选出的论文。 (英语) Zbl 1191.68009号

北约和平与安全科学系列D:信息与通信安全25.阿姆斯特丹:IOS出版社(ISBN 978-1-60750-099-5/hbk;978-1-60750-100-8/电子书)。ix,第325页。(2010).
PDF格式BibTeX公司 XML格式引用

用于构建和分析系统的工具和算法。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议(TACAS 2010)是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。 (英语) Zbl 1185.68007号

计算机科学课堂讲稿6015.柏林:施普林格出版社(ISBN 978-3-642-12001-5/pbk)。十六、468页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率下推自动机的内存消耗。 (英语) Zbl 1248.68321号

Kannan,Ravi(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2009),2009年12月15日至17日,印度坎普尔。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学会议录4,49-60,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

单调多项式方程牛顿法的收敛阈值。 (英语) Zbl 1259.65225号

Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学论文集1,289-300,仅电子版(2008年)。
PDF格式BibTeX公司 XML格式引用

(ω)-连续半环的牛顿方法。 (英语) Zbl 1155.68364号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。计算机科学课堂讲稿5126,14-26(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

展开:模型检查的部分顺序方法。 (英语) Zbl 1153.68035号

理论计算机科学专著。EATCS系列柏林:施普林格出版社(ISBN 978-3-540-77425-9/hbk)。xii,169页。(2008年)。
PDF格式BibTeX公司 XML格式引用

将牛顿方法推广到(ω)-连续半环。 (英语) Zbl 1202.68106号

Harju,Tero(编辑)等人,《语言理论的发展》。第11届国际会议,DLT 2007,芬兰图尔库,2007年7月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73207-5/pbk)。计算机科学课堂讲稿4588,157-168(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于交换半环上的不动点方程。 (英语) Zbl 1186.68307号

Thomas,Wolfgang(编辑)等人,STACS 2007。2007年2月22日至24日在德国亚琛举行的第24届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70917-6/pbk)。计算机科学课堂讲稿4393,296-307(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重写布尔程序的模型。 (英语) Zbl 1151.68440号

Pfenning,Frank(编辑),术语重写和应用。第17届国际会议,RTA 2006,西雅图,华盛顿州,美国,2006年8月12-14日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-36834-2/pbk)。计算机科学课堂讲稿4098136-150(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调集扩展前缀重写和递归乒乓协议的验证。 (英语) Zbl 1161.68617号

Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。《计算机科学讲义》4218、415-429(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用Craig插值和符号下推系统进行抽象细化。 (英语) Zbl 1180.68113号

Hermanns,Holger(编辑)等人,《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006,是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33056-9/pbk)。计算机科学课堂讲稿3920489-503(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步PA系统的可达性分析。 (英语) Zbl 1272.68290号

Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,153-178(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

异步通信多线程软件可达性分析。 (英语) Zbl 1172.68422号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821348-359(2005)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于位置的抽象。 (英语) Zbl 1141.68367号

Hankin,Chris(编辑)等人,《静态分析》。2005年9月7日至9日在英国伦敦举行的2005年SAS第12届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28584-9/pbk)。计算机科学课堂讲稿3672118-134(2005)。
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

jMoped:基于Moped的Java字节码检查器。 (英语) Zbl 1087.68556号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440541-545(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于现场验证算法的注释。 (英语) Zbl 1087.68599号

Halbwachs,Nicolas(ed.)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440174-190(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证概率程序程序。 (英语) Zbl 1117.68428号

Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,16-31(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用过程对并发程序进行静态分析的通用方法。 (英语) Zbl 1321.68185号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2003年1月15日至17日,美国洛杉矶新奥尔良,POPL'03。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-628-5)。62-73 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

软件验证的自动机理论方法。 (英语) Zbl 1037.68522号

埃西克·佐尔坦(编辑)等人,《语言理论的发展》。第七届国际会议,DLT 2003,塞格德,匈牙利,2003年7月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40434-1/pbk)。莱克特。注释计算。科学。2710, 21 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

并发软件静态分析的代数方法。 (英语) Zbl 1015.68604号

Hermenegildo,Manuel V.(编辑)等,《静态分析》。2002年9月17日至20日在西班牙马德里举行的2002年SAS第九届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2477, 3 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

对下推系统进行定期评估的模型检查LTL。 (英语) Zbl 1087.68542号

Kobayashi,Naoki(编辑)等人,《计算机软件的理论方面》。2001年10月29日至31日,第四届国际研讨会,TACS 2001,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42736-8/pbk)。计算机科学课堂讲稿2215,316-339(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

LTL模型检查净减少额。 (英语) Zbl 1002.68510号

Margaria,Tiziana(编辑)等人,《正确的硬件设计和验证方法》。第11届IFIP WG 10.5高级研究工作会议,CHARME 2001,苏格兰利文斯顿,英国,2001年9月4-7日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2144, 310-324 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于BDD的递归程序模型检查器。 (英语) Zbl 0991.68539号

Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2102, 324-336 (2001).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

具有无限状态空间的系统的验证。 (英语) Zbl 0985.68667号

Cassez,Franck(编辑)等人,并行过程的建模和验证。2000年6月19日至23日,法国南特,第四所暑期学校,MOVEP 2000。修订的教程讲座。柏林:斯普林格。莱克特。注释计算。科学。2067, 183-186 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用网络展开实现LTL模型检查。 (英语) Zbl 0985.68520号

马修·德怀尔(编辑),《模型检查软件》。第八届国际SPIN研讨会,加拿大多伦多,2001年5月19日至20日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2057, 37-56 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

过程间并行流图的前*和后*的有效算法。 (英语) Zbl 1323.68407号

2000年1月19日至21日,美国马萨诸塞州波士顿,POPL'00,第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-125-9)。1-11 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在Isabelle/HOL中使用Owicki-Gries验证单突变子和多突变子垃圾收集器。 (英语) 兹比尔0996.68518

尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 619-628 (2000).
MSC公司:60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用

一种新的LTL模型检查展开方法。 (英语) Zbl 0973.68140号

Montanari,Ugo(编辑)等人,自动机,语言和编程。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1853, 475-486 (2000).
PDF格式BibTeX公司 XML格式引用

模型检查下推系统的有效算法。 (英语) Zbl 0974.68116号

Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855年,232-247年(2000年)。
PDF格式BibTeX公司 XML格式引用

下推自动机的可达性分析:在模型检查中的应用。 (英语) Zbl 1512.68135号

Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 135-150 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用约束编程检查LTL模型。 (英语) Zbl 1523.68040号

Azéma,Pierre(编辑)等人,《Petri网的应用和理论》,1997年。第18届国际会议,1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1248, 1-20 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性时间微积分的有效表系统。 (英语) Zbl 1045.03514号

Meyer auf der Heide,Friedhem(编辑)等人,《自动化,语言和编程》。1996年7月8日至12日,第23届国际学术讨论会,ICALP’96,德国帕德博恩。诉讼程序。柏林:施普林格出版社(ISBN 3-540-61440-0/pbk)。莱克特。注释计算。科学。1099, 98-109 (1996).
PDF格式BibTeX公司 XML格式引用

关于几种计算网和Petri网的模型检验的可判定性。 (英语) 兹比尔0938.03537

Sophie Tison(编辑),《代数和编程中的树——CAAP’94》。第19届国际学术讨论会,英国爱丁堡,1994年4月11日至13日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。787, 115-129 (1994).
PDF格式BibTeX公司 XML格式引用

使用网络展开进行模型检查。 (英语) Zbl 1498.68157号

Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 613-628 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份