停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

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

问别人

第11届TACAS 2005：英国爱丁堡（ETAPS 2005的一部分）

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2005
尼古拉斯·哈尔巴赫斯，勒诺·D·扎克:
《用于系统构建和分析的工具和算法》，第11届国际会议，TACAS 2005，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2005，英国爱丁堡，2005年4月4日至8日，会议记录。计算机科学课堂讲稿3440,施普林格 2005，国际标准图书编号3-540-25333-5

受邀论文

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/McMillan05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/McMillan05
肯尼思·麦克米兰:
Craig插值在模型检验中的应用。 1-12

常规模型检查

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BoajjaniHMV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BoajjaniHMV05
艾哈迈德·布阿贾尼，彼得·哈伯梅尔，皮埃尔·莫罗，托马斯·沃伊纳:
在常规模型检查中验证具有动态1-选择器链接结构的程序。 13-29
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdullaLdR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdullaLdR05
帕罗什·阿齐兹·阿卜杜拉，Axel Legay公司，朱利安·德奥索，艾哈迈德·雷兹:
树型传感器的基于仿真的迭代。 30-44
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VardhanSVA05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VardhanSVA05
阿比海·瓦尔丹，库什克森，马赫什·维斯瓦纳坦，古尔·阿加:
使用语言推理验证Omega-Regular属性。 45-60

无限状态系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlurCEM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlurCEM05
拉杰夫·阿鲁尔，斯瓦拉特·乔杜里，库沙·埃特萨米，P.马都苏丹:
递归状态机的即时可达性和循环检测。 61-76
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BinghamH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BinghamH05
杰西·宾厄姆，艾伦·J·胡:
一类无限状态系统的经验有效验证。 77-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/QadeerR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/QadeerR05
沙兹·卡迪尔，雅各布·雷霍夫:
并发软件的上下文模型检查。 93-107
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/IsobeR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/IsobeR05
吉野Isobe，马库斯·罗根巴赫:
CSP精化的一般定理证明器。 108-123

摘要解释

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PnueliPR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PnueliPR05
阿米尔·普努利，安德烈亚斯·波德尔斯基，安德烈·雷巴尔琴科:
公平离散系统分析的分离公平性和良基性。 124-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RanzatoT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RanzatoT05
弗朗西斯科·兰扎托，弗朗西斯科·塔帕罗:
一种基于抽象解释的强保持精化算法。 140-156
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KomondoorRCF05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KomondoorRCF05
Raghavan Komondoor公司，加内桑·拉马林根，萨蒂什·钱德拉，约翰·菲尔德:
程序理解的依赖类型。 157-173

自动化和逻辑

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SchwoonE05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SchwoonE05
斯特凡·施温，哈维尔·埃斯帕尔扎:
关于实时验证算法的注释。 174-190
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HammerKM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HammerKM05
莫里茨锤子，亚历山大·纳普，斯蒂芬·默兹:
真正的现场LTL模型检查。 191-205年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KupfermanV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KupfermanV05
奥尔娜·库普夫曼，Moshe Y.瓦尔迪:
无限词上非确定性自动机的补码构造。 206-221
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Marrero05年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Marrero05
威尔·马拉罗:
使用BDD决定CTL。 222-236

概率系统，概率模型检验

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RemkeHC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RemkeHC05
安妮·雷姆克，Boudewijn R.Haverkort公司，露西亚布:
模型检查无限状态马尔可夫链。 237-252
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/EtessamiY05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EtessamiY05网址
库沙·埃特萨米，米哈利斯·扬纳卡基斯:
递归概率状态机的算法验证。 253-270
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GrosuS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GrosuS05
拉杜·格罗苏，斯科特·A·斯莫尔卡:
蒙特卡洛模型检查。 271-286

可满足性

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JinHS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JinHS05
HoonSang Jin公司，韩孝忠，法比奥·萨蒙齐:
求布尔电路所有满足赋值的有效冲突分析。 287-300
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SharmaPC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SharmaPC05
巴比塔·夏尔马，帕里托什·K·潘迪亚，Supratik Chakraborty公司:
区间持续时间逻辑的有界有效性检查。 301-316
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05
马可·波扎诺，罗伯托·布鲁托梅索，亚历山德罗·西马蒂，汤米·A·琼蒂拉，彼得·范·罗苏姆，斯蒂芬·舒尔茨，罗伯托·塞巴斯蒂安尼:
线性算术逻辑可满足性的增量分层过程。 317-333
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LeinoMO05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LeinoMO05
K.鲁斯坦·莱诺，穆苏瓦蒂夫人，欧新明:
在懒惰证明定理证明程序中支持量词的双层技术。 334-348

测试

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JeannetJRZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JeannetJRZ05
伯特兰·珍妮特，蒂埃里·杰伦，弗拉德·鲁苏，埃琳娜·齐诺维耶娃:
基于近似分析的符号测试选择。 349-364
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/XieMSN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/XieMSN05
陶雪，达科·马里诺夫，沃尔夫拉姆·舒尔特，大卫·诺特金:
Symstra：使用符号执行生成面向对象单元测试的框架。 365-381

抽象与简化

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/艾默生W05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/EmersonW05
E.艾伦·艾默生，托马斯·沃尔:
动态对称减少。 382-396
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JainIGG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JainIGG05
印度，弗兰乔·伊万西奇，阿尔蒂·古普塔，马来语K.Ganai:
谓词抽象的本地化和寄存器共享。 397-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/江05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/江05
杰洪·罗兰·蒋:
关于重定时和重合成下的一些变换不变量。 413-428

规范、程序合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Genest05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Genest05
布莱斯·基内斯特:
组合消息序列图（CMSC）比MSC更易于实现。 429-444
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KuglerHPLB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KuglerHPLB05
希勒尔·库格勒，哈雷尔，阿米尔·普努利，袁璐，伊夫·邦坦普斯:
基于场景的规范的时间逻辑。 445-460
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WeimerN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WeimerN05
维斯特利·威默尔，乔治·C·内库拉:
挖掘用于错误检测的时间规范。 461-476
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/哈丁RS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HardingRS05
艾丹·哈丁，马克·瑞恩，皮埃尔·伊夫·肖本斯:
一种新的LTL游戏策略合成算法。 477-492

检查模型

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ShuppanB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ShuppanB05
维克多·舒潘，阿明·比尔:
LTL与过去的符号模型检查的最简短反例。 493-509
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GenestKMP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GenestKMP05
布莱斯·基内斯特，迪特里希·库斯克，安卡·穆斯科尔，多伦·A·佩里德:
快照验证。 510-525
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BaoJ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BaoJ05
通拉嘎包，迈克尔·琼斯:
用磁盘进行时间效率模型检查。 526-540

工具演示文稿

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SuwimonteerabbithSE05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SuwimonteerabbithSE05
德jvuth Suwimonterabuth，斯特凡·施温，哈维尔·埃斯帕尔扎:
jMoped：基于Moped的Java字节码检查器。 541-545
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenR05
冯晨，格里戈·罗苏:
Java-MOP：一个面向监控的Java编程环境。 546-550
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BouquetDLU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BouquetDLU05
织物花束，弗雷德里克·达多，布鲁诺传奇，马克·尤廷:
JML-Testing-Tools:JML规范使用CLP的符号动画。 551-556
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MargariaNS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MargariaNS05
蒂齐亚娜·玛格丽亚，拉尔夫·内格，伯恩哈德·斯特芬:
jETI：用于远程工具集成的工具。 557-562
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KellerSBS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KellerSBS05
柯蒂斯·凯勒，迪普蒂卡利安·萨哈，萨米克·巴苏，斯科特·斯莫尔卡:
FocusCheck：用于模型检查和调试顺序C程序的工具。 563-569
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ClarkeKSY05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ClarkeKSY05
埃德蒙·克拉克，丹尼尔·克罗宁，娜塔莎·莎莉吉娜，凯伦·约拉夫:
SATABS：基于SAT的ANSI-C谓词抽象。 570-574
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GanaiGA05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GanaiGA05
马来语K.Ganai，阿尔蒂·古普塔，普拉纳夫·阿沙尔:
迪维尔：用于验证大型系统的基于SAT的模型检查平台。 575-580
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BergaminiDJM05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BergaminiDJM05
达米恩·贝尔加米尼，尼古拉斯·德苏贝斯（Nicolas Descoubes），克里斯托夫·朱伯特，Radu Mateescu公司:
BISIMULATOR：一种用于动态等价性检查的模块化工具。 581-585

服务

管理网站设置

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