停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第二十九塔卡斯@ETAPS2023年：法国巴黎——第二部分

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2023-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2023-2
斯里拉姆·桑卡拉纳拉亚南,娜塔莎·莎莉吉娜:
系统构建和分析的工具和算法——第29届国际会议，TACAS 2023，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2022，法国巴黎，2023年4月22日至27日，会议记录，第二部分。计算机科学课堂讲稿13994,施普林格 2023，国际标准图书编号978-3-031-30819-2

工具演示

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CimattiCGTCNB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CimattiCGTCNB23
亚历山德罗·西马蒂,卢卡·克里斯托福雷蒂,阿尔贝托·格里乔,斯特凡诺·托内塔,萨拉·科尔菲尼,马可·迪纳塔莱,弗洛里安·巴劳:
EVA：AUTOSAR模型组成验证工具。 3-10
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FangZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FangZ23
文吉芳,张洪策:
WASIM：用于硬件形式验证的文字级抽象符号仿真框架。 11-18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BoumaGJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BoumaGJ23
耶勒·布马,Stijn de Gouw公司,宋世宗:
Java中的多方会话键入，演绎。 19-27
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TomasS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ThomasS23
巴斯蒂恩·托马斯,奥坎·桑库尔:
PyLTA：参数化分布式算法的验证工具。 28-35
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/XiaoZLP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/XiaoZLP23
肖生平,张成玉,李建文,葛光浦:
FuzzBtor2:Btor2格式字级模型检查问题的随机生成器。 36-43
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FokkingGHBHREMMRRDSTSTVV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FokkingGHBHREMMRRDSTVV23
万·J·福克金,Martijn A.Goorden公司,丹尼斯·亨德里克斯,D.A.van Beek先生,阿尔伯特·T·霍夫坎普,费迪·莱恩（Ferdie F.H.Reijnen）,L.F.P.埃特曼,拉尔斯·摩尔曼,乔安娜·范·德·莫特尔·弗伦扎克,米歇尔·雷尼尔斯,雅各布斯·E·罗达,布拉姆·范德桑登,拉蒙·希弗勒,桑德·苏伊斯曼,J.J.韦贝克,J.A.沃格尔:
Eclipse ESCET™：Eclipse监控工程工具包。 44-52

组合优化/定理证明

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CortesLM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CortesLM23
若昂·科尔特斯,Inés Lync公司,Vasco M.Manquinho公司:
用于多目标组合优化的新的核引导和命中集算法。 55-73
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BentkampMA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BentkampMA23
亚历山大·本特坎普,拉蒙·费尔南德斯·米尔,杰里米·阿维加德:
已验证优化减少。 74-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Denis公司J23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DenisJ23网址
师丹尼斯,雅克·亨利·朱丹:
指定和验证高阶防锈剂。 93-110
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VukmirovicBS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VukmirovicBS23
佩塔尔·武克米罗维奇,布兰切特,斯蒂芬·舒尔茨:
将高性能验证程序扩展到高阶逻辑。 111-129

工具（普通论文）

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NagasamudramBN23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NagasamudramBN23
拉马纳-长崎,安妮迪亚·班纳吉,大卫·A·诺曼:
指针程序模块化关系验证的WhyRel原型。 133-151
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BeyerCL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BeyerCL23
德克·拜尔,Po-Chun Chien村,李念泽:
用Btor2C桥接硬件和软件分析：字级电路到C转换器。 152-172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Lester会议23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Lester23
马丁·马吕斯·莱斯特:
CoPTIC：约束编程翻译成C。 173-191
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CadilhacP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CadilhacP23
米夏·卡迪哈克,吉列尔莫·A·佩雷斯:
相思盆景：基于下降的LTL可实现性的现代实现。 192-207

合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AnandMNS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AnandMNS23
阿什瓦尼·阿南德,考希克·马利克,萨蒂亚·普拉卡什·纳亚克,安妮·凯瑟琳·施穆克:
计算充分允许的合成假设。 211-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WangZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WangZ23
王玉宁,何朱:
验证指导的程序控制器合成。 229-250
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeimD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeimD23
菲利普·海姆,雷娜·迪米特洛娃:
根据有界性规范控制合成中的大范围。 251-269
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HamzaF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HamzaF23
阿梅尔·哈姆扎,格里戈里·费德尤科维奇:
不平衡回路的锁步合成。 270-288
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JaberWJKS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JaberWJKS23
努尔丁·贾比尔,克里斯托弗·瓦格纳,斯文·雅各布斯,米林·库尔卡尼,萨曼塔屋顶:
具有有效可判定验证的分布式协议系统的综合。 289-308
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BalachanderFR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BalachanderFR23
姆鲁杜拉·巴拉昌德,埃马纽埃尔·菲利奥,Jean-François Raskin女士:
LTL反应合成及一些提示。 309-328
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Sankur23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Sankur23
奥坎·桑库尔:
通过有限自动机学习进行时间自动机验证和合成。 329-349

图/概率系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LarsenSSJPP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LarsenSSJPP23
卡斯珀·阿比尔德-拉森,西蒙·梅尔达尔·施密特,Jesper Steensgaard公司,安娜·布鲁梅·雅各布森,雅各布·范德波尔,安德烈亚斯·帕夫罗甘尼斯:
用于SCC分解的真正符号线性时间算法。 353-371
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KullmannS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KullmannS23
奥利弗·库尔曼,安基特·舒克拉:
使用双液覆盖变换量化布尔公式。 372-390
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WinklerK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WinklerK23
托比亚斯·温克勒,Joost-Pieter Katoen公司:
通过乐观值迭代的概率下推自动机证书。 391-409
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BatzCJKKM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BatzCJKKM23
凯文·巴茨,陈明帅,塞巴斯蒂安·荣格斯,本杰明·卢西安·卡明斯基,Joost-Pieter Katoen公司,克里斯托夫·马蒂亚:
通过归纳不变量的归纳合成进行概率程序验证。 410-429

运行时监控/程序分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DeligiannisSNLL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DeligiannisSNLL23
德利吉安人,阿迪蒂亚·森蒂尔纳森,法哈德·纳亚尔,克里斯·洛维特,阿卡什·拉尔:
使用sc Coyote进行sc C tt#程序的工业强度控制并发测试。 433-452
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ApinisV23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ApinisV23网站
卡尔默·阿皮尼斯,维萨尔·沃达尼:
用于可解释程序分析的上下文敏感元约束系统。 453-472
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LimaHRTY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LimaHRTY23
莱昂纳多·利马,安德烈·赫拉西莫,马丁·拉西克,德米特里·特拉泰尔,西蒙·袁:
可解释的度量时态逻辑在线监测。 473-491

第十二届软件验证竞赛-SV-COMP 2023

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Beyer23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Beyer23
德克·拜尔:
软件验证和见证验证竞赛：SV-COMP 2023。 495-522
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AyaziovaS23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AyaziovaS23
Paulína Ayaziová,简·斯特雷切克:
共生密码2：更有效的算法和证人反驳-（竞争贡献）。 523-528
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MalikNSV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MalikNSV23
维克托·马利克,Frantisek Necas公司,彼得·施拉姆,托马斯·沃伊纳:
2LS：阵列和环路展开-（竞争贡献）。 529-534
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChalupaH23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChalupaH23网址
马雷克·查卢帕,托马斯·汉津格:
Bubaak：项目核查人员的运行时监测-（竞争贡献）。 535-540
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AljaafariSMMC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AljaafariSMMC23
法蒂玛·阿尔贾法里,费多·什马洛夫,埃多尔多·马尼诺,拉斐尔·梅内泽斯,卢卡斯·科尔德罗:
EBF 4.2：并行程序的黑匣子合作验证-（竞争贡献）。 541-546
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SanSEPSTV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SanSEPSTV23网站
Simmo Saan公司,迈克尔·施瓦兹,朱利安·埃哈德,曼努埃尔·皮埃奇,赫尔穆特·塞德尔,莎拉·蒂尔舍尔,Vesal Vojdani公司:
Goblint：自动调整线程-模块抽象解释-（竞争贡献）。 547-552
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/侯赛因YMSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HusseinYMSW23
苏哈·侯赛因,邱琴燕,斯蒂芬·麦卡曼特,瓦比哈夫·夏尔马,迈克尔·沃伦:
Java Ranger：支持Java Ranger中的字符串和数组操作（竞争贡献）。 553-558
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Enst23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Enst23
吉登·恩斯特:
Korn-使用Horn条款进行软件验证（竞争贡献）。 559-564
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MonatOM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MonatOM23
拉斐尔·莫纳特,阿卜杜勒拉夫·乌阿贾奥特,安托万·米内:
Mopsa-C：C程序的模块域和关系抽象解释（竞争贡献）。 565-570
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SuYXYTD23文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SuYXYTD23
杰苏,杨祖超,恒瑞星,杨继瑜,丛田,段振华:
PIChecker：基于POR和插值的并发程序验证程序（竞争贡献）。 571-576
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannBDFHKNSPSP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSPSP23
马蒂亚斯·海兹曼,马克斯·巴思,丹尼尔·迪奇,伦纳德·费希特纳,Jochen Hoenicke公司,多米尼克·克伦普,Mehdi Naouar公司,坦尼娅·辛德勒,弗兰克·舒赛尔,安德烈亚斯·波德尔斯基:
终极Automizer和CommuHash范式-（竞争贡献）。 577-581
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DietschHKSP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DietschHKSP23
丹尼尔·迪奇,马蒂亚斯·海兹曼,多米尼克·克伦普,弗兰克·舒赛尔,安德烈亚斯·波德尔斯基:
终极大班和终极比赛中的种族检测（比赛贡献）。 582-587
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/深色CAKVC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DarkeCAKVC23
普里扬卡·达克,巴蒂·奇迪瓦尔,萨基·阿格拉瓦尔,希拉旺·库玛,R.文卡特斯,Supratik Chakraborty公司:
VeriAbsL：通过抽象和策略预测进行可扩展验证（竞争贡献）。 588-593
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MettaYKM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MettaYKM23
拉文德拉·梅塔,普拉桑特·耶杜鲁,赫里西凯什·卡马尔卡,拉文德拉·库马尔·梅迪切拉:
VeriFuzz 1.4：检查（非）终止（竞争贡献）。 594-599

服务

管理网站设置

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