停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第21届TACAS 2015：英国伦敦（ETAPS 2015的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2015
克里斯特尔·贝尔,塞萨尔·蒂内利:
系统构建和分析的工具和算法——第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。计算机科学课堂讲稿9035,施普林格 2015，国际标准图书编号978-3-662-46680-3

邀请的谈话

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GuanTAS015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GuanTAS015
南关,岳堂,贾卡里亚·阿卜杜拉,马丁·斯蒂格,王毅:
可扩展的时间分析和优化。 3-18

混合动力系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JeanninGKGSZP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JeanninGKGSZP15
Jean-Baptiste珍妮,哈利尔·戈巴尔,扬尼·库斯库拉斯,瑞安·W·加德纳,极光C.施密特,埃里克·扎瓦兹基,安德烈·普拉泽:
下一代机载防撞系统的正式验证混合系统。 21-36
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Immler公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Immler15
费比安·伊姆勒:
连续系统的验证可达性分析。 37-51
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CimattiGMT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CimattiGMT15
亚历山德罗·西马蒂,阿尔贝托·格里乔,塞尔吉奥·莫弗,斯特凡诺·托内塔:
HyComp：一种基于SMT的混合系统模型检查器。 52-67
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DuggiralaMVP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DuggiralaMVP15
Parasara Sridhar Duggirala公司,萨扬密特拉,马赫什·维斯瓦纳坦,马修·波托克:
C2E2：状态流模型的验证工具。 68-82

项目分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Abert公司FR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AbertFR15
埃尔维拉·阿尔伯特,杰苏斯·科雷斯·费尔南德斯,吉列尔莫·罗曼·迪兹:
非累积资源分析。 85-100
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KumarSK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KumarSK15
希拉旺·库玛,三亚阿弥陀佛,Uday P.Khedker公司:
值切片：用于可伸缩属性检查的新切片概念。 101-115
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/曾SLH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ZengSLH15
任曾,卓孙,苏柳,徐东河:
一种提高原子违反预测精度和覆盖率的方法。 116-130
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenHSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenHSW15
陈玉芳,Chih-Duo Hong先生,Nishant Sinha公司,船头偏航王:
减速器的互换性。 131-146

验证和抽象

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/UnnoT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/UnnoT15
Unno宏,塔奇·特劳奇:
通过抽样推断无递归Horn子句的简单解。 149-163
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NamjoshiT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NamjoshiT15
Kedar S.Namjoshi公司,理查德·特雷弗:
动态过程网络分析。 164-178

工具演示

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BraddilCFK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BraddilCFK15
托马斯·布拉兹迪尔,克里希南德·查特吉,Vojtech预测,安东·库塞拉:
MultiGain：具有多个平均回报目标的MDP控制器综合工具。 181-187
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DemasiCRMA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DemasiCRMA15
拉米罗·德马西,巴勃罗·卡斯特罗,尼科拉斯·里奇,托马斯·斯蒂芬·爱德华·迈鲍姆,纳扎雷诺·阿吉雷:
syntMaskFT：从道义规范合成屏蔽容错程序的工具。 188-193
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BjornerPF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BjornerPF15
尼古拉·比约纳,Anh-Dung Phan公司,拉尔斯·弗莱肯斯坦:
ΓZ-一个优化SMT解算器。 194-199
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KongGCC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KongGCC15
宋浩岗,四川高,魏晨,埃德蒙·克拉克:
dReach：δ-混合系统的可达性分析。 200-205
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DavidJLMT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DavidJLMT15
亚历山大·戴维,彼得·杰勒·詹森,金·古德斯特兰·拉森,马吕斯·米库西奥尼斯,雅各布·哈赫·塔安克维斯特:
Uppaal Stratego公司。 206-211
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DjoudiB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DjoudiB15网址
阿德尔·朱迪,塞巴斯蒂安·巴丁:
BINSEC：低级别区域的二进制代码分析。 212-217
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FleuryLPV15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FleuryLPV15
伊曼纽尔·弗勒里,奥利维尔·李,盖拉尔点,艾默尔·文森特:
洞察力：一个开放的二进制分析框架。 218-224
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ArmandoBCCMMM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ArmandoBCCMMM15
亚历山德罗·阿曼多,吉安卢卡·博奇,吉安托尼奥·齐亚雷利,加布里埃尔·科斯塔,加布里埃尔·德马格里,罗科哺乳动物,阿莱西奥·梅洛:
SAM：MAVERIC移动应用程序安全验证平台的静态分析模块。 225-230
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Tierry-Mieg15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Thierry-Mieg15
Yann Thierry-Mieg公司:
符号模型-使用ITS工具检查。 231-237

随机模型

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HansenWCNK15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HansenWCNK15
杰弗里·汉森,卢兹·沃奇,萨加尔·查基,迪奥尼西奥·德尼兹,马克·克莱恩:
统计模型检查的语义重要性抽样。 241-255
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BassetKTW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BassetKTW15
尼古拉斯·巴塞特,Marta Z.Kwiatkowska公司,Ufuk Topcu公司,克莱门斯·威尔奇:
具有多个长期目标的随机博弈策略综合。 256-271
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SoudjaniGA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SoudjaniGA15
萨代赫·埃斯迈尔·扎德赫·苏贾尼（Sadegh Esmaeil Zadeh Soudjani）,卡斯帕·格瓦茨,亚历山德罗·阿巴特:
浮士德²：不可数状态随机过程的形式抽象。 272-286

SAT和SMT

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BransenBCD15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BransenBCD15
杰伦·布兰森,托马斯·范·宾斯贝根,科恩·克莱森,阿齐·迪克斯特拉:
使用SAT求解的线性有序属性文法调度。 289-303
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChakrabortyFMSV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChakrabortyFMSV15
Supratik Chakraborty公司,丹尼尔·弗雷蒙特,库尔德普·S·梅尔,桑吉特·塞希亚,莫舍·瓦尔迪:
并行可伸缩统一SAT见证生成。 304-319
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChistikovDM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChistikovDM15
德米特里·奇斯蒂科夫,雷娜·迪米特洛娃,鲁帕克·马朱姆达尔:
SMT中的近似计数和概率程序的值估计。 320-334
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Sebastiani15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SebastianiT15
罗伯托·塞巴斯蒂亚尼,帕特里克·特伦丁:
用线性算术代价函数推导出优化模理论的包络线。 335-349

部分降阶、互模拟与公平

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdullaAAJLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdullaAAJLS15
帕罗什·阿齐兹·阿卜杜拉,斯塔夫罗斯·阿罗尼斯,穆罕默德·法乌齐·阿提格,本特·琼森,卡尔·伦纳德森,康斯坦蒂诺斯·萨戈纳斯:
TSO和PSO的无状态模型检查。 353-367
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Wijs15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Wijs15
安东·维斯:
GPU加速了强相似性和分支相似性检查。 368-383
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CookKP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CookKP15
拜伦·库克,海蒂·赫拉夫,尼尔·皮特曼:
无限状态系统的公平性。 384-398

软件验证竞赛

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/000115文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/000115
德克·拜尔:
软件验证和可验证见证人（SV-COMP 2015报告）。 401-416
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/StroderAFHG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/StroderAFHG15
托马斯·斯特罗德,科尼利厄斯·阿斯切尔曼,弗洛里安·弗洛恩,杰拉·亨塞尔,吉尔根·吉斯尔:
AProVE：C程序的终止和记忆安全-（竞争贡献）。 417-419
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WangB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WangB15
王伟（音译）,克拉克·W·巴雷特:
级联-（竞争贡献）。 420-422
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DanglLW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DanglLW15
马蒂亚斯·丹格尔,斯特凡·勒韦,菲利普·温德勒:
CPAchecker支持递归程序和浮点运算-（竞争贡献）。 423-425
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenHTWW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenHTWW15
陈玉芳,乔谢,蔡明贤,王朝霞（Bow-Yaw Wang）,Farn Wang公司:
CPArec：通过源程序到源程序转换验证递归程序-（竞争贡献）。 426-428
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AledoE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AledoE15
巴勃罗·冈萨雷斯（Pablo González de Aledo）,巴勃罗·桑切斯·埃斯佩索:
嵌入式系统验证框架ORk-（竞争贡献）。 429-431
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HolikHLRSV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HolikHLRSV15
卢卡斯·霍利克,马丁·赫鲁斯卡,Ondrej Lengál,亚当·罗加列维奇,杰里·西马切克,托马斯·沃伊纳:
Forester:使用树自动机进行形状分析-（竞争贡献）。 432-435
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TomascoI0TP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TomascoI0TP15
埃梅内吉尔多·托马斯科,奥马尔·因弗索,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
MU-CSeq 0.3：通过阅读暗示和粗训练记忆展开进行序列化-（竞争贡献）。 436-438
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CassezMPS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CassezMPS15
弗兰克·卡塞兹,松冈隆,爱德华·皮尔兹查尔斯基,内森·斯迈思:
Perentie：模块化跟踪优化和选择性价值跟踪-（竞争贡献）。 439-442
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MullerPV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MullerPV15
彼得·米勒,彼得·佩林格,托马斯·沃伊纳:
捕食者狩猎队（竞争贡献）。 443-446
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GurfinkelKN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GurfinkelKN15
阿里·古芬克尔,Temesghen Kahsai公司,豪尔赫·纳瓦斯:
SeaHorn：验证C程序的框架（竞争贡献）。 447-450
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HaranCELQR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HaranCELQR15
阿文德·哈兰,蒙哥马利·卡特,迈克尔·埃米,阿卡什·拉尔,沙兹·卡迪尔,兹沃尼米尔·拉卡马利奇:
SMACK+Corral:模块化验证程序-（竞争贡献）。 451-454
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannDLMP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannDLMP15
马蒂亚斯·海兹曼,丹尼尔·迪奇,简·雷克,贝蒂姆·穆萨,安德烈亚斯·波德尔斯基:
带阵列插值的终极自动分析器-（竞争贡献）。 455-457
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NutzDMP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NutzDMP15
亚历山大·纳茨,丹尼尔·迪奇,穆斯塔法·马哈茂德·穆罕默德,安德烈亚斯·波德尔斯基:
带内存安全检查的终极KOJAK-（竞争贡献）。 458-460
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Nguyen0TP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Nguyen0TP15
Truc L.Nguyen公司,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
Unbounded Lazy CSeq：用于具有Unbounded上下文切换的C程序的Lazy序列化工具-（竞争贡献）。 461-463
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Urban15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Urban15
Caterina城市:
FuncTion：用于终止的抽象域仿真器-（竞争贡献）。 464-466

参数综合

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GiacobbeGGHPP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GiacobbeGGHPP15
米尔科·贾科布,Calin C.Guet公司,阿舒托什·古普塔,托马斯·汉津格,蒂亚戈·派克斯昂,塔贾娜·彼得罗夫:
模型检查基因调控网络。 469-483
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Sankur15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Sankur15
奥坎·桑库尔:
时间自动机的符号定量鲁棒性分析。 484-498

程序综合

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlurMT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlurMT15
拉杰夫·阿鲁尔,萨拉尔·莫拉里夫,Ufuk Topcu公司:
基于模式的反应合成中假设保证规范的精化。 501-516
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BloemCJK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BloemCJK15
罗德里克·布隆,克里希南德·查特吉,瑞典雅各布斯,罗伯特·科尼霍弗:
部分信息并发反应程序的假设保证综合。 517-532
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BloemKKW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BloemKKW15
罗德里克·布隆,贝蒂娜·科尼霍费尔,罗伯特·科尼霍弗,王超（Chao Wang）:
屏蔽合成：反应系统的运行时强制。 533-548

程序和运行时验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TomascoI0TP15a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TomascoI0TP15a
埃梅内吉尔多·托马斯科,奥马尔·因弗索,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
通过内存展开验证并发程序。 551-565
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TschannenFNP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TschannenFNP15
朱利安·查宁,卡洛·福里亚,马丁·诺迪奥,纳迪娅·波里卡波娃:
自动验证：面向对象程序的自动活动功能验证。 566-580
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CiniF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CiniF15
克莱尔·西尼,阿德里安·弗兰卡兰扎:
用于运行时验证的LTL证明系统。 581-595
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RegerCR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RegerCR15
贾尔斯·雷格尔,海伦娜·昆卡·克鲁兹,大卫·E·瑞德海尔:
MarQ：使用QEA在运行时进行监控。 596-610

时间逻辑与自动机

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RenaultDKP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RenaultDKP15
艾蒂安·雷诺,亚历山大·杜雷特·卢茨,Fabrice Kordon公司,丹尼斯·波特雷诺:
广义Büchi自动机的并行显式模型检验。 613-627
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KiniV15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KiniV15网站
迪利普·基尼,马赫什·维斯瓦纳坦:
LTL∖GU的极限确定性和概率自动机。 628-642
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MolnarDVB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MolnarDVB15
文斯·莫尔纳,达尼尔·达瓦斯,安德烈斯·沃尔什,塔马斯·巴塔:
基于饱和的增量LTL模型检验与归纳证明。 643-657
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FiedorHLV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FiedorHLV15
托马斯·菲多尔,卢卡斯·霍利克,Ondrej Lengál,托马斯·沃伊纳:
WS1S嵌套防链。 658-674

模型检查

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DijkP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DijkP15
汤姆·范·迪克,雅各布·范德波尔:
Sylvan：多核心决策图。 677-691
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KantLMPBD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KantLMPBD15
吉斯·康德,阿尔芬斯·拉阿尔曼,杰伦·梅耶尔,雅各·范德波尔,斯特凡·布洛姆,汤姆·范·迪克:
LTSmin：高性能语言独立模型检查。 692-707
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KrioulieS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KrioulieS15
阿卜杜拉赫曼·克里奥伊,温德林·塞维:
使用形式化模型改进芯片上缓存相关系统的验证。 708-722

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。