停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第6届TACAS 2000：德国柏林（ETAPS 2000的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2000
苏珊·格拉芙,迈克尔·施瓦茨巴赫:
《系统构建和分析的工具和算法》，第六届国际会议，TACAS 2000，作为欧洲软件理论和实践联席会议的一部分举行，ETAPS 2000，德国柏林，2000年3月25日至4月2日，会议记录。计算机科学课堂讲稿1785,施普林格 2000，国际标准图书编号3-540-67282-6

受邀贡献

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WolperB00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WolperB00
皮埃尔·沃尔珀,伯纳德·博伊格洛特:
从线性算术约束构造自动机。 1-19

软件和形式方法工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/XiongL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Xiong L00网址
熊玉红,爱德华·A·李:
用于基于组件的设计的可扩展类型系统。 20-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Aspinall100
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Aspinall00网址
大卫·阿斯皮纳尔:
证明通用：证明开发的通用工具。 38-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GeodickeEMT00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GeodickeEMT00网站
迈克尔·戈迪克,贝蒂娜·恩德斯,托尔斯滕·迈耶,加布里埃尔·坦泽尔:
面向ViewPoint的软件开发：通过分布式图形转换集成多个透视图的工具支持。 43-47

形式方法工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BraunLSS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BraunLSS00
彼得·布劳恩,海科·洛茨拜尔,伯恩哈德·施瓦茨,奥斯卡·斯洛托什:
形式方法的一致集成。 48-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MeyerP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MeyerP00
约格·梅耶,Arnd Poetzsch-Heffter公司:
交互式程序验证程序的体系结构。 63-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DennisCNBSRGM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DennisCNBSRGM00
路易丝·丹尼斯,格雷厄姆·柯林斯,迈克尔·诺里什,理查德·博尔顿,康拉德·斯林德,格雷厄姆·罗宾逊,迈克尔·J·C·戈登,托马斯·梅勒姆:
PROSPER工具包。 78-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Mossakowski00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Mossakowski00
蒂尔·莫萨科夫斯基:
CASL：从语义到工具。 93-108

定时和混合系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BornotGS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BornotGS00
塞巴斯蒂安·博尔诺,格雷戈·格勒,约瑟夫·西法基斯:
实时系统的构建。 109-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LarssonPY00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LarssonPY00网址
弗雷德里克·拉尔森,保罗·佩特森,王毅:
模型检验时间系统中的记忆块遍历问题。 127-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HenzingerM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HenzingerM00
托马斯·汉津格,鲁帕克·马朱姆达尔:
矩形混合系统的符号模型检查。 142-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Wang00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Wang00
Farn Wang公司:
实时软件系统全符号验证的高效数据结构。 157-171

无限和参数化系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RoychoudhuryKRRS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RoychoudhuryKRRS00
阿比克·罗伊乔杜里,K.Narayan Kumar,C.R.Ramakrishnan（罗马克里希南）,I.V.罗摩克里希南,斯科特·斯莫尔卡:
使用逻辑程序转换验证参数化系统。 172-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BaukusBLS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BaukusBLS00网站
凯·鲍库斯,萨德克·本萨勒姆,亚辛·拉赫内克,卡斯滕·斯塔尔:
抽象WS1S系统以验证参数化网络。 188-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BodeveixF00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BodeveixF00
Jean-Paul Bodevix公司,马蒙·菲拉利:
FMona：表示无限状态系统验证技术的工具。 204-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JonssonN00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JonssonN00
本特·琼森,马库斯·尼尔森:
用于验证无限状态系统的正则关系的传递闭包。 220-234

诊断和测试生成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozgaFG00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozgaFG00网址
马吕斯·博兹加,Jean-Claude费尔南德斯,卢西安·吉尔武:
使用静态分析来改进测试的自动生成。 235-250
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Mateescu00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Mateescu00
Radu Mateescu公司:
布尔方程系统的有效诊断生成。 251-265

高效的模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KrimmM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KrimmM00
Jean-Pierre克里姆,劳伦特·穆尼尔:
异步通信系统的部分降阶合成状态空间生成。 266-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HelovuoV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HelovuoV00
朱哈娜·赫洛沃,安蒂·瓦尔马里:
使用测试程序检查CFFD-Porder。 283-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HenzingerR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HenzingerR00
托马斯·汉津格,斯里拉姆·拉贾马尼:
公平模拟。 299-314
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Schmidt00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Schmidt00
卡斯滕·施密特:
将低级对称性整合到可达性分析中。 315-330

模型检查工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CastilloW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CastilloW00网址
朱塞佩·德尔·卡斯蒂略,克里斯汀·温特:
ASM高级语言的模型检查支持。 331-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HermannsKMS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HermannsKMS00
霍尔格·赫尔曼斯,Joost-Pieter Katoen公司,约阿希姆·迈耶·凯泽,马库斯·西格尔:
马尔可夫链模型检查器。 347-362
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BosnackiDHS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BosnackiDHS00
德拉甘·博斯纳奇,丹尼斯·达姆斯,莱泽克·霍伦德斯基,娜塔莉亚·西多罗娃:
带自旋的模型检查SDL。 363-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BharadwajS00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BharadwajS00
拉梅什·巴拉德瓦杰,史蒂夫·西姆斯:
Salsa：结合约束解算器和BDD进行自动不变量检查。 378-394

符号模型-检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlfaroKNPS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlfaroKNPS00
卢卡·德·阿尔法罗,Marta Z.Kwiatkowska公司,格钦·诺曼,大卫·帕克,罗伯托·塞加拉:
使用MTBDD和Kronecker表示法对概率过程进行符号模型检查。 395-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdullaBE00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdullaBE00
帕罗什·阿齐兹·阿卜杜拉,根据Bjesse,尼古拉斯·埃恩:
基于SAT-Solvers的符号可达性分析。 411-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DelzannoR00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DelzannoR00网址
乔治·德尔赞诺,Jean-François Raskin女士:
向上闭集的符号表示。 426-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bltan00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Bultan00
特夫菲克·布尔坦:
BDD与基于约束的模型检查：异步并发系统的实验评估。 441-455

可视化工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NiemannB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NiemannB00
马格努斯·尼曼,Roswitha Bardohl玫瑰:
基于工具的可视化语言和图形编辑器规范。 456-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KamelL00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KamelL00
莫阿塔兹·卡梅尔,斯特凡·洛伊:
VIP:v-Promela的可视化编辑器和编译器。 471-486

关键系统的验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AronsP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AronsP00
塔玛拉阿隆,阿米尔·普努利:
推测指令执行的两种验证方法的比较。 487-502
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ClarkeJM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ClarkeJM00
埃德蒙·克拉克,萨默什·贾,威尔弗雷多·马雷罗:
安全协议验证的部分降阶。 503-518
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BenerecettiG00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BenerecettiG00
马西莫·贝内雷切蒂,福斯托·金奇利亚:
使用信任逻辑对安全协议进行模型检查。 519-534
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GnesiLLAAM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GnesiLLAAM00
斯蒂芬妮娅·格内西,迭戈·拉特拉,加布里埃尔·伦齐尼,C.阿巴内奥,阿图罗·M·阿蒙多拉,P.马尔默:
存在拜占庭错误的关键系统的正式规范和验证。 535-549

服务

管理站点设置

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