默认搜索操作

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

问别人

2016年第22届TACAS：荷兰埃因霍温（ETAPS 2016的一部分）

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2016年
玛莎·契契克,Jean-François Raskin女士:
系统构建和分析的工具和算法——第22届国际会议，TACAS 2016，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日，会议记录。计算机科学课堂讲稿9636,施普林格 2016，国际标准图书编号978-3-662-49673-2

统一对话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Mayumdar16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Mayumdar16
鲁帕克·马朱姆达尔:
云边缘的机器人。 3-13

抽象与验证I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bakhirkin第16页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BakhirkinP16
阿列克谢·巴赫金,尼尔·皮特曼:
使用向后分析和跟踪分区查找递归集。 17-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GrovT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GrovT16
古德蒙德·格罗夫,维塔塔斯·图马斯:
Dafny程序验证程序的策略。 36-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/UrbanGK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/UrbanGK16
Caterina城市,阿里·古芬克尔,Temesghen Kahsai公司:
从比特和片段合成排序函数。 54-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/IosifRV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/IosifRV16
半径Iosif,亚当·罗加列维奇,托马斯·沃伊纳:
无限状态系统的迹包含的抽象精化和反链。 71-89

概率与随机系统I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CardelliTTV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CardelliTTV16
鲁卡·凯德利,Mirco Tribastone公司,马克斯·柴可夫斯基,安德烈·范丁:
高效语法驱动的微分方程集总。 93-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DacaHKP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DacaHKP16
普热米斯劳达卡,托马斯·汉津格,扬·克伦斯克,塔贾娜·彼得罗夫:
更快的统计模型检查无界时间属性。 112-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Junges0DTK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Junges0DTK16
塞巴斯蒂安·荣格斯,尼尔斯·詹森,克里斯蒂安·德内特,Ufuk Topcu公司,Joost-Pieter Katoen公司:
MDP的安全约束强化学习。 130-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SoudjaniMA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SoudjaniMA16
萨代赫·埃斯迈尔·扎德赫·苏贾尼（Sadegh Esmaeil Zadeh Soudjani）,鲁帕克·马朱姆达尔,亚历山德罗·阿巴特:
连续空间纯跳跃马尔可夫过程的安全性验证。 147-163

合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LodingMN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LodingMN16
克里斯托夫·洛丁,马杜苏丹,丹尼尔·奈德:
综合抽象学习框架。 167-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NiederSM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NiederSM16
丹尼尔·奈德,Shambwaditya Saha公司,马杜苏丹:
通过学习分类器合成分段函数。 186-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NiederT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NeiderT16
丹尼尔·奈德,Ufuk Topcu公司:
求解无限图上安全游戏的自动机学习方法。 204-221

概率与随机系统II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BuissouGPCS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BouissouGPCS16
奥利维尔·布伊索,埃里克·古堡,西尔维·普托,阿列克桑达尔·查卡洛夫,斯里拉姆·桑卡拉纳拉亚南:
使用概率仿射形式和测量不等式集中的不确定性传播。 225-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LarsenMMST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LarsenMMST16
金·拉森,马吕斯·米库西奥尼斯,马可·穆尼兹,吉里斯尔巴,雅各布·哈赫·塔安克维斯特:
控制器的在线和组合学习及其在地板供暖中的应用。 244-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChakarovVS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChakarovVS16
阿列克桑达尔·查卡洛夫,元朗沃罗宁,斯里拉姆·桑卡拉纳拉亚南:
几乎确定持久性和递归性的演绎证明。 260-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DimitrovaFHM16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DimitrovaFHM16
雷娜·迪米特洛娃,路易斯·玛丽亚·费雷尔·菲奥里蒂,霍尔格·赫尔曼斯,鲁帕克·马朱姆达尔:
概率CTL^*：演绎法。 280-296

工具文件I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenWZXY16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenWZXY16
哲晨,王哲敏,朱云龙,西红卫,杨志斌:
C程序的参数运行时验证。 299-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FithfullBTT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FithfullBTT16
亚历山大·约翰·费斯福尔,杰斯珀·本特森,恩里科·塔西,雕刻坦克油墨:
Coqoon-一个用于Coq中交互式证明开发的IDE。 316-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DijkP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DijkP16
汤姆·范·迪克,雅各·范德波尔:
多核符号互模拟最小化。 332-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/0001BCDDKM016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/0001BCDDKM016
约阿希姆·克莱因,克里斯特尔·拜尔,菲利普·克尔森,马库斯·达姆,克莱门斯·杜斯拉夫,Sascha Klüppelholz公司,斯特芬·梅克尔,大卫·米勒:
基于PRISM的符号概率模型检验研究进展。 349-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CeskaPPBK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CeskaPPBK16
米兰塞斯卡,彼得·皮拉尔,尼古拉·保莱蒂,卢博斯·布里姆,Marta Z.Kwiatkowska公司:
PRISM-PSY：随机系统的精确GPU加速参数合成。 367-384

工具文件II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BrockschmidtCIK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BrockschmidtCIK16网址
马克·布罗克施密特,拜伦·库克,萨明·伊斯蒂亚克,海蒂·赫拉夫,尼尔·皮特曼:
T2：临时属性验证。 387-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RayanaBBC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RayanaBBC16
苏哈·本·拉亚纳,马吕斯·博兹加,萨德克·本萨勒姆,雅克·康巴兹:
RTD Finder:一种用于实时基于组件的系统组成验证的工具。 394-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AvanziniMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AvanziniMS16
马丁·阿文齐尼,乔治·莫瑟,迈克尔·沙珀:
TcT：蒂罗尔复杂性工具。 407-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChristakisL0W16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChristakisL0W16
玛丽亚·克里斯塔基斯,K.鲁斯坦·莱诺,彼得·米勒,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
诊断验证错误的集成环境。 424-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LuckowDGHIKRR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LuckowDGHIKRR16
卡斯珀·瑟·勒科夫,马尔科·迪姆贾塞维奇,迪米特拉·吉安娜科波卢,福尔克·豪瓦尔,马尔特·伊斯伯纳,Temesghen Kahsai公司,兹沃尼米尔·拉卡马里克,维什瓦纳斯·拉曼:
JDart：动态符号分析框架。 442-459

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FavreVM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FavreVM16
塞德里克·法夫尔,哈根·沃尔泽,彼得·米勒:
工作流图控制流分析的诊断信息（也称为自由选择工作流网络）。 463-479
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BlondinFHH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BlondinFHH16
迈克尔·布隆丁,阿兰·芬克尔,克里斯托夫·哈斯,谢尔盖·哈达德:
持续处理覆盖性问题。 480-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/EneaF16公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EneaF16
康斯坦丁·埃纳,阿扎德·法尔赞:
论非原子写作中的原子性。 497-514
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PoetzlK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PoetozlK16
丹尼尔·波茨尔,丹尼尔·克罗宁:
规范化和检查无数据面执行模型的线程优化。 515-530

工具演示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BittnerBCCGGMMZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ16
本杰明·比特纳,马可·波扎诺,罗伯托·卡瓦达,亚历山德罗·西马蒂,马可·加里奥,阿尔贝托·格里乔,克里斯蒂安·马塔雷,安德烈亚·米其利,詹尼·赞佩德里:
xSAP安全分析平台。 533-539
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CalinescuJP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CalinescuJP16
Radu Calinescu公司,肯尼思·约翰逊,科林·帕特森:
事实：置信区间形式验证的概率模型检查器。 540-546
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JongmansA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JongmansA16网址
Sung-Shik T.Q.Jongmans公司,法哈德·阿巴布:
PrDK：使用自动机进行协议编程。 547-552
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Evrard16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Evrard16
雨果斯·埃夫拉德:
DLC：将并发系统形式规范编译为分布式实现。 553-559
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KwiatkowskaPW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KwiatkowskaPW16
玛尔塔·奎亚特科夫斯卡,大卫·帕克,克莱门斯·威尔舍:
PRISM-Games 2.0：随机游戏多目标策略合成工具。 560-566
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CompanagaSPR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CompanagaSPR16
卢卡·孔帕尼亚,丹尼尔·里卡多·多斯·桑托斯,塞雷娜·伊丽莎·蓬塔,西尔维奥·兰伊斯:
Cerberus：安全敏感业务流程执行机制的自动合成。 567-572
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LinBG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LinBG16
林玉辉,皮埃尔·勒布拉斯,古德蒙德·格罗夫:
通过修补开发和调试验证策略。 573-579
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MukherjeeTK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MukherjeeTK16
拉杰迪德·穆克吉,迈克尔·陶茨尼格,丹尼尔·克罗宁:
v2c-Verilog到C转换器。 580-586

抽象与验证II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NamjoshiT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NamjoshiT16
Kedar S.Namjoshi公司,理查德·特雷弗:
参数化组合模型检查。 589-606
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GrooteW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GrooteW16
简·弗里索·格鲁特,安东·威伊斯:
一种用于断续等效和分支互模拟的O（m\logn）算法。 607-624
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GaoZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GaoZ16
四川高,达米安·祖弗里:
实域上非线性理论中的插值函数。 625-641

摘要与验证III

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Konecny16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Konecny16
菲利普·科内克:
八角关系传递闭包的PTIME计算。 645-661
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ParkPLS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ParkPLS16
Junkil公园,米罗斯拉夫·帕季奇,因苏普·李,奥列格·索科尔斯基:
线性控制器软件的可扩展验证。 662-679
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MaiyaGKM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MaiyaGKM16
帕拉维·迈亚,古普塔,阿迪蒂亚·卡纳德,鲁帕克·马久姆达尔:
事件驱动多线程程序的部分降阶。 680-697
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AtigKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AtigKS16
穆罕默德·法乌齐·阿提格,K.Narayan Kumar,普拉卡什·塞瓦桑:
多按钮系统中的加速。 698-714

语言与自动机

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlmeidaHM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlmeidaHM16
里卡多·奥米达,卢卡斯·霍利克,理查·马:
非确定性树自动机的约简。 717-735
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/UlusFAM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/UlusFAM16
多根·乌卢斯,托马斯·费雷尔,尤金细辛,奥德·马勒:
使用导数的在线定时模式匹配。 736-751
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RoohiP016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RoohiP016
尼玛·鲁希,帕维思拉·普拉巴卡,马赫什·维斯瓦纳坦:
基于混合的仿射动力学混合自动机CEGAR。 752-769
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BlahoudekHSST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BrahoudekHSST16
弗兰蒂斯克·布拉胡德克,马蒂亚斯·海兹曼,斯文·舍韦,简·斯特雷切克,蔡明贤:
半确定性Büchi自动机的补充。 770-787

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ZhaoSZL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ZhaoSZL16
赵永旺,大卫·萨南,张福源,杨柳:
基于信道通信的分离核信息流安全推理。 791-810
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VelnerAPRSSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VelnerAPRSSS16
纱线维纳,卡列夫·阿尔佩纳斯,Aurojit熊猫,亚历山大·拉宾诺维奇,穆利·萨吉夫,教授斯科特·申克,莎伦·肖姆:
状态网络验证的一些复杂性结果。 811-830

优化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LangeY16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LangeY16网址
朱利安·兰格,吉田信子:
会话类型的特征公式。 833-850
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NadelR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NadelR16
亚历山大·纳达尔,瓦迪姆·里夫钦:
位矢量优化。 851-867
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DeckerHS0T16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DeckerHS0T16
诺曼·戴克,詹妮斯·哈德,托本·谢菲尔,麦尔特·施密茨,丹尼尔·托马:
使用Union-Find结构进行运行时监控。 868-884

软件验证竞赛：SV-压缩机

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Beyer16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Beyer16
德克·贝尔:
与BenchExec和目击者的可靠且可复制的竞争结果（2016年SV-COMP报告）。 887-904
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SchrammelK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SchrammelK16
彼得·施拉姆,丹尼尔·克罗宁:
项目分析2LS-（竞争贡献）。 905-907
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ZhengELGRDS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ZhengELGRDS16
满族郑,约翰·爱登霍纳,罗自清,米切尔·杰拉德,迈克尔·罗杰斯,马修·德怀尔,斯蒂芬·西格尔:
CIVL：将通用并发验证框架应用于C/Pthreads程序（竞争贡献）。 908-911
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Friedberger公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Friedberger16
卡尔海因茨·弗里德伯格:
CPA-BAM：带值分析和谓词分析的块抽象记忆-（竞争贡献）。 912-915
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Lowe16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Lowe16网址
斯特凡·洛韦:
CPA-RefSel:CPAchecker with Refinement Selection-（竞争贡献）。 916-919
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/StillRB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/StillRB16
弗拉迪米尔·斯蒂尔,彼得·罗凯,吉里·巴纳特:
DIVINE：明确的州LTL模型检查器-（竞争贡献）。 920-922
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HolikHLRSV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HolikHLRSV16
卢卡斯·霍利克,马丁·赫鲁斯卡,Ondrej Lengál公司,亚当·罗加列维奇,杰里·西马切克,托马斯·沃伊纳:
快跑Forester，向后跑（竞争贡献）。 923-926
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SarikiviH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SarikiviH16网址
奥利·萨里基维,凯霍·赫尔扬科:
LCTD:LLVM上C程序的测试指导证明-（竞争贡献）。 927-929
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Karpenkov16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Karpenkov16
埃戈尔·乔治·卡彭科夫:
LPI：本地策略迭代的软件验证-（竞争贡献）。 930-933
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RochaBC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RochaBC16
赫伯特·O·罗查,雷蒙多·巴雷托,卢卡斯·科尔德罗:
用Map2Check-（竞争贡献）在C程序中搜索内存错误。 934-937
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TomascoNI0TP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TomascoNI0TP16
埃梅内吉尔多·托马斯科,Truc L.Nguyen公司,奥马尔·因弗索,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
MU-CSeq 0.4：个人记忆位置解缠-（竞争贡献）。 938-941
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KotounPSV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KotounPSV16
米查尔·科图恩,彼得·佩林格,维罗尼卡·索科娃,托马斯·沃伊纳:
优化的PredatorHP和SV-COMP堆和内存安全基准-（竞争贡献）。 942-945
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChalupaJSSV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChalupaJSSV16
马雷克·查鲁帕,马丁·乔纳斯,吉里·斯拉比,简·斯特雷切克,马蒂娜·维托夫斯卡:
共生3：新一代切片机和错误见证器-（竞争贡献）。 946-949
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannDGLMSP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannDGLMSP16
马蒂亚斯·海兹曼,丹尼尔·迪奇,马吕斯·格雷特斯,简·雷克,贝蒂姆·穆萨,克劳斯·施瓦茨勒,安德烈亚斯·波德尔斯基:
具有双轨证明（竞争贡献）的终极Automizer。 950-953
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GuntherLW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GuntherLW16
亨宁·昆瑟（Henning Günther）,阿尔芬斯·拉曼,乔治·魏森巴赫:
维也纳验证工具：并行软件IC3（竞争贡献）。 954-957

管理网站设置

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