摘要
补充材料
可供下载
Fides Aarts和Frits W.Vaandrager。 2010.学习I/O自动机。 在CONCUR 2010-一致性理论中。 计算机科学讲义,第6269卷。 施普林格,71-85。 谷歌学者 数字图书馆 Krzysztof R.Apt和Dexter C.Kozen。 1986.有限状态并发系统自动验证的限制。 信息处理信函22、6、307--309。 谷歌学者 数字图书馆 塞巴斯蒂安·鲍尔(Sebastian S.Bauer)、菲利普·迈尔(Philip Mayer)、安德烈亚斯·施罗德(Andreas Schroeder)和罗尔夫·亨尼克(Rolf Hennicker)。 2010年。关于弱模态兼容性、改进和MIO工作台。 在系统构建和分析的工具和算法中。 计算机科学讲义,第6015卷。 斯普林格,175-189。 谷歌学者 数字图书馆 马基尔·比吉尔(Machel Bijl)、阿伦德·伦辛克(Arend Rensink)和扬·特雷特曼(Jan Tretmans)。 2004年,与IOCO进行成分测试。 在软件测试的正式方法中。 计算机科学讲义,第2931卷。 施普林格,86-100。 谷歌学者 艾哈迈德·博阿贾尼(Ahmed Bouajjani)、彼得·哈贝梅尔(Peter Habermehl)和托马斯·沃伊纳尔(Tomás Vojnar)。 2008.验证具有优先FIFO资源管理的参数并发系统。 系统设计中的形式化方法32,21229-172。 谷歌学者 数字图书馆 Jean Bovet和Terence Parr。 2008.ANTLWorks:ANTLR语法开发环境。 软件:实践与经验38,12,1305--1332。 谷歌学者 数字图书馆 费伦斯·布伊托(Ferenc Bujtor)和沃尔特·福格勒(Walter Vogler)。 2014.接口自动机中的错误修剪。 SOFSEM 2014:计算机科学理论与实践。 《计算机科学讲义》,第8327卷。 斯普林格,162-173。 谷歌学者 萨迪·J·克里斯。 2001.数据无关归纳:任意大小网络的CSP模型检查。 博士论文。 牛津大学。 谷歌学者 Alexandre David、Kim G.Larsen、Axel Legay、Ulrik Nyman和Andrzej Wsowski。 2010.定时I/O自动机:实时系统的完整规范理论。 第13届ACM混合系统国际会议论文集:计算与控制(HSCC’10)。 ACM,纽约州纽约市,91-100。 谷歌学者 数字图书馆 卢卡·德·阿尔法罗(Luca de Alfaro)和托马斯·汉津格(Thomas A.Henzinger)。 2005.基于界面的设计。 软件密集型系统工程理论。 北约科学丛书,第195卷。 施普林格,83-104。 谷歌学者 Laurent Doyen、Thomas A.Henzinger、Barbara Jobstmann和Tatjana Petrov。 2008年。组件重用的接口理论。 第八届ACM嵌入式软件国际会议论文集(EMSOFT'08)。 ACM,纽约州纽约市,79-88。 谷歌学者 数字图书馆 E.艾伦·爱默生和维尼特·卡隆。 2004.基于环的消息传递系统的参数化模型检查。 计算机科学逻辑。 计算机科学讲义,第3210卷。 施普林格,325-339。 谷歌学者 交叉引用 西尔维奥·吉拉尔迪和西尔维奥·兰伊斯。 2010.基于SMT求解的阵列系统的后向可达性:终止和不变合成。 计算机科学中的逻辑方法6,4,1--48。 谷歌学者 交叉引用 亚历山大·凯泽(Alexander Kaiser)、丹尼尔·克罗宁(Daniel Kroening)和托马斯·瓦尔(Thomas Wahl)。 2010.参数化并发程序中的动态截止检测。 在计算机辅助验证中。 计算机科学讲义,第6174卷。 施普林格,645-659。 谷歌学者 数字图书馆 Robert P.Kurshan和Kenneth L.McMillan。 1995.过程的结构归纳定理。 信息与计算117,1,1--11。 谷歌学者 数字图书馆 杰拉尔德·吕特根和沃尔特·福格勒。 2013年a。 模态接口自动机。 计算机科学中的逻辑方法9,3,265--279。 谷歌学者 交叉引用 杰拉尔德·吕特根和沃尔特·福格勒。 2013年b。 具有乐观和悲观兼容性的更丰富的接口自动机。 信息学学报52,4-5305-336。 谷歌学者 数字图书馆 南希·A·林奇和马克·R·塔特尔。 1987。分布式算法的层次正确性证明。 第六届ACM分布式计算原理研讨会(PODC’87)会议记录。 ACM,纽约州纽约市,137-151。 谷歌学者 数字图书馆 Brendan D.McKay和Adolfo Piperno。 2014.实用图同构II。 符号计算杂志60,94--112。 谷歌学者 数字图书馆 克里斯托斯·帕帕迪米特里奥(Christos M.Papadimitriou)。 1994.计算复杂性。 马萨诸塞州雷丁市Addison-Wesley。 谷歌学者 Jean-Baptiste Raclet、Eric Badouel、Albert Benveniste、Beno声t Caillaud、Axel Legay和Roberto Passerone。 2011年,基于组件设计的模态接口理论。 《基础信息》108,1--2119-149。 谷歌学者 数字图书馆 A.威廉·罗斯科。 2010.了解并发系统。 斯普林格。 谷歌学者 数字图书馆 安蒂·西尔托拉。 2010年a。 安全特性的算法多参数验证。 过程代数方法。 博士论文。 欧鲁大学。 谷歌学者 安蒂·西尔托拉(Antti Siirtola)。 2010年b。 具有网络不变量的截止。 在2010年第10届系统设计并发应用国际会议(ACSD’10)的会议记录中。 IEEE,加利福尼亚州洛斯阿拉米托斯,105-114。 谷歌学者 数字图书馆 安蒂·西尔托拉(Antti Siirtola)。 2014年a。 Bounds2:用于成分多参数验证的工具。 在系统构建和分析的工具和算法中。 计算机科学讲义,第8413卷。 施普林格,599-604。 谷歌学者 安蒂·西尔托拉(Antti Siirtola)。 2014年b。 参数化接口自动机。 在2014年第14届并发在系统设计中的应用国际会议论文集(ACSD'14)。 加利福尼亚州洛斯阿拉米托斯IEEE,176-185。 谷歌学者 数字图书馆 Antti Siirtola和Keijo Heljanko。 2012.多流程和数据类型的参数化成分验证。 在2013年第13届系统设计并发应用国际会议(ACSD’13)的会议记录中。 IEEE,加利福尼亚州洛斯阿拉米托斯,60-69。 谷歌学者 数字图书馆 Antti Siirtola和Juha Kortelinen。 2009。具有多个和嵌套参数的算法验证。 《形式方法与软件工程》,计算机科学讲义,第5885卷。 施普林格,561-580。 谷歌学者 数字图书馆 Antti Valmari和Martti Tienari,1991年。 用约简算法改进有限状态系统的失效等价性。 在协议规范、测试和验证国际研讨会论文集十一。 3--18. 谷歌学者 数字图书馆 杨秋松,李明淑.2010。 参数化系统有界验证的截断方法。 第32届ACM/IEEE国际软件工程会议(ICSE’10)论文集,第1卷。 ACM,纽约州纽约市,345--354。 谷歌学者 数字图书馆