×

用于验证和分析的自动化技术。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。 (英语) Zbl 1325.68014号

计算机科学课堂讲稿8837.柏林:施普林格出版社(ISBN 978-3-319-11935-9/pbk)。xxiv,430页。(2014).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。关于上一次研讨会,请参见[Zbl 1291.68023号].
索引文章:
艾斯瓦里亚,C。;保罗·加斯丁(Paul Gastin);Narayan Kumar,K。,通过分宽度验证通信多按钮系统,1-17[Zbl 1448.68283号]
弗朗切斯科,阿尔贝蒂;吉拉尔迪,西尔维奥;娜塔莎·莎莉吉娜,Booster:阵列程序基于加速的验证框架,18-23[兹比尔1448.68284]
Lourenço,Cláudio Belo;玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托,SPARK程序的有界模型检查器,24-30[Zbl 1448.68307号]
伯纳德·博伊格洛特(Bernard Boigelot);赫布雷托,弗雷德里克;伊莎贝尔·美因茨,仿射混合变换的加速,31-46[Zbl 1448.68257号]
蒂莫西·伯克;罗布·范格拉贝克(Rob van Glabbeek);彼得·霍夫纳,(未命名的)AODV路由协议的循环自由的机械化证明,47-63[Zbl 1448.68051号]
Patricia Bouyer;帕特里克·加迪(Patrick Gardy);尼古拉斯·马基,加权克里普克结构的定量验证,64-80[Zbl 1448.68287号]
马可·波扎诺(Marco Bozzano);亚历山德罗·西马蒂;克里斯蒂安·马塔雷;斯特凡诺·托内塔,通过基于合同的设计进行正式安全评估,81-97[Zbl 1448.68174号]
托马斯·布拉兹迪尔;克里希南多·查特吉;Chmelík,Martin;Forejt,Vojtěch;公司;Křetínsk \345],Jan;奎亚特科夫斯卡,玛尔塔;戴维·帕克;马特乌斯·乌玛,使用学习算法验证马尔可夫决策过程,98-114[Zbl 1448.68290号]
Dang,Thao;诺亚·沙列夫,使用阈值接受测试覆盖率估计,115-128[Zbl 1448.68175号]
亚历山大·戴维;彼得·詹森(Peter G.Jensen)。;古德斯特兰·拉森(Kim Guldstrand Larsen);Legay,Axel;莱姆,迪迪埃;瑟伦森,马蒂亚斯·格兰德;雅各布·H·塔安克维斯特。,以最低的预期成本按时完成!,129-145年[Zbl 1448.68294号]
克里斯蒂安·德内特(Christian Dehnert);尼尔斯·詹森;拉尔夫·威默(Ralf Wimmer);艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩,快速调试PRISM模型,146-162[Zbl 1448.68295号]
纳塔娜·菲亚尔科夫;丹尼斯·库珀伯格,ACME:带计数器、幺半群和等价的自动机,163-167[Zbl 1448.68262号]
Dennis Guck;马克·蒂默(Mark Timmer);哈桑·哈特菲;瑞杰特斯,埃诺;玛丽·斯托琳加,马尔可夫报酬自动机的建模与分析,168-184[Zbl 1448.68265号]
阿舒托什·古普塔;劳拉·科瓦奇(Laura Kovács);伯恩哈德的克拉格尔;安德烈·沃伦科夫《外延危机与身份证明》,185-200年[Zbl 1448.68459号]
拉杜·伊奥西夫;亚当·罗加列维奇(Adam Rogalewicz);汤姆·沃纳,用树自动机确定归纳分离逻辑中的蕴涵,201-218[Zbl 1448.68266号]
Jeroen J.A.Keiren。;威格·威瑟林克(Wieger Wesselink);Tim A.C.Willemse。,参数化布尔方程系统的活度分析,219-234[Zbl 1448.68302号]
科马尔科娃,祖扎纳;Křetínský,简,Rabinizer 3:LTL到小型确定性自动机的非安全转换,235-241[Zbl 1448.68268号]
Le,Dinh-Thuan;Nguyen,Huu-Vu;阮文廷;Mai,Phuong-Nam;Pham-Duy,Bao-Trung;Quan、Thanh-Tho;埃蒂安·安德烈;劳雷·佩特鲁奇(Laure Petrucci);刘,杨,PeCAn:简化Petri网的成分验证,242-247[Zbl 1448.68305号]
勒鲁,杰罗姆;文森特·佩内尔;格雷戈伊尔·萨特雷,上下文无关问题对于平面计数器系统来说是一个复杂的问题,248-263[Zbl 1448.68270号]
吕、易;太阳、鲁明;叶晓春;范东瑞;吴鹏,高效、完整地验证同步一致性模型,264-280[Zbl 1448.68038号]
尼古拉斯·马基(Nicolas Markey);Steen背心,有限分支无限对策中的对称约简,281-296[Zbl 1448.68310号]
斯文·雷默(Sven Reimer);马提亚斯·索尔;舒伯特,托拜厄斯;贝恩德·贝克尔,基数约束的增量编码和求解,297-313[Zbl 1448.68390号]
亚历杭德罗·桑切斯;塞萨尔·桑切斯,任意多层skiplist的形式验证,314-329[兹比尔1448.68317]
Sethi,Divjyot;穆拉利达尔·塔卢普尔;沙拉德·马利克,使用参数化缓存一致性协议的流规范验证死锁自由,330-347[兹比尔1448.68319]
Orna Grumberg;奥纳·库普夫曼;莎莱·申瓦尔德,模拟数据参数化系统的游戏理论方法,348-363[Zbl 1448.68300号]
苏国欣;David S.Rosenblum。,具有单变量参数的离散时间马尔可夫链的嵌套可达性逼近,364-379[Zbl 1448.68320号]
Trtík,Marek;斯特雷切克,简,带指针的符号存储器,380-395[Zbl 1448.68222号]
王伟峰;焦、李,时间自动机的跟踪抽象细化,396-410[Zbl 1448.68279号]
张燕;桑卡拉纳拉亚南,斯里拉姆;法比奥·萨蒙齐,复杂系统的统计合理验证和优化,411-427[兹比尔1448.68322]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
00B25型 其他特别感兴趣的会议记录

软件:

棱镜
PDF格式BibTeX公司 XML格式引用
全文: 内政部