搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2005 帕罗什·阿齐兹·阿卜杜拉 , Axel Legay公司 , 朱利安·德奥索 , 艾哈迈德·雷兹 :
树型传感器的基于仿真的迭代。 TACAS公司 2005 : 30-44 拉杰夫·阿鲁尔 , 斯瓦拉特·乔杜里 , 库沙·埃特萨米 , P.马都苏丹 :
递归状态机的即时可达性和循环检测。 TACAS公司 2005 : 61-76 通拉嘎包 , 迈克尔·琼斯 :
利用磁盘进行时间效率模型检查。 TACAS公司 2005 : 526-540 达米安·贝加米尼 , 尼古拉斯·德苏贝斯(Nicolas Descoubes) , 克里斯托夫·朱伯特 , Radu Mateescu公司 :
BISIMULATOR:一个模块化工具,用于即时等价性检查。 TACAS公司 2005 : 581-585 杰西·宾厄姆 , 艾伦·J·胡 :
一类无限状态系统的经验有效验证。 TACAS公司 2005 : 77-92 艾哈迈德·布阿贾尼 , 彼得·哈贝梅尔 , 皮埃尔·莫罗 , 托马斯·沃纳尔 :
在常规模型检查中使用动态1-选择器链接结构验证程序。 TACAS公司 2005 : 13-29 织物花束 , 弗雷德里克·达多 , 布鲁诺传奇 , 马克·尤廷 :
JML-Testing-Tools:JML规范使用CLP的符号动画。 TACAS公司 2005 : 551-556 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005 : 317-333 冯晨 , 格里戈·罗苏 :
Java-MOP:一个面向监控的Java编程环境。 TACAS公司 2005 : 546-550 埃德蒙·克拉克 , 丹尼尔·克罗宁 , 娜塔莎·莎莉吉娜 , 凯伦·约拉夫 :
SATABS:ANSI-C的基于SAT的谓词抽象。 TACAS公司 2005 : 570-574 E.艾伦·艾默生 , 托马斯·沃尔 :
动态对称减少。 TACAS公司 2005 : 382-396 库沙·埃特萨米 , 米哈利斯·扬纳卡基斯 :
递归概率状态机的算法验证。 TACAS公司 2005 : 253-270 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
迪维尔 :用于验证大型系统的基于SAT的模型检查平台。 TACAS公司 2005 : 575-580 布莱斯·基内斯特 :
组合消息序列图(CMSC)比MSC更易于实现。 TACAS公司 2005 : 429-444 布莱斯·基内斯特 , 迪特里希·库斯克 , 安卡·穆斯科尔 , 多龙·A·贝利德 :
快照验证。 TACAS公司 2005 : 510-525 拉杜·格罗苏 , 斯科特·斯莫尔卡 :
蒙特卡洛模型检查。 TACAS公司 2005 : 271-286 莫里茨锤子 , 亚历山大·纳普 , 斯蒂芬·默兹 :
真正的现场LTL模型检查。 TACAS公司 2005 : 191-205 艾丹·哈丁 , 马克·瑞恩 , 皮埃尔·伊夫·肖本斯 :
一种新的LTL游戏策略合成算法。 TACAS公司 2005 : 477-492 吉野Isobe , 马库斯·罗根巴赫 :
CSP精化的一般定理证明器。 TACAS公司 2005 : 108-123 印度 , 弗兰乔·伊万西奇 , 阿尔蒂·古普塔 , 马来语K.Ganai :
谓词抽象的定位和寄存器共享。 TACAS公司 2005 : 397-412 伯特兰·珍妮特 , 蒂埃里·杰伦 , 弗拉德·鲁苏 , 埃琳娜·齐诺维耶娃 :
基于近似分析的符号测试选择。 TACAS公司 2005 : 349-364 杰洪·罗兰·蒋 :
关于重定时和重合成下的一些变换不变量。 TACAS公司 2005 : 413-428 HoonSang Jin公司 , 韩孝忠 , 法比奥·萨蒙齐 :
求布尔电路所有满足赋值的有效冲突分析。 TACAS公司 2005 : 287-300 柯蒂斯·凯勒 , 迪普蒂卡利安·萨哈 , 萨米克·巴苏 , 斯科特·斯莫尔卡 :
FocusCheck:用于模型检查和调试顺序C程序的工具。 TACAS公司 2005 : 563-569 Raghavan Komondoor公司 , 加内桑·拉马林根 , 萨蒂什·钱德拉 , 约翰·菲尔德 :
程序理解的依赖类型。 TACAS公司 2005 : 157-173 希勒·库格勒 , 哈雷尔 , 阿米尔·普努利 , 袁璐 , 伊夫·邦坦普斯 :
基于场景的规范的时间逻辑。 TACAS公司 2005 : 445-460 奥尔娜·库普夫曼 , 莫舍·瓦尔迪 :
无限词上非确定性自动机的补码构造。 TACAS公司 2005 : 206-221 K.鲁斯坦·莱诺 , 穆苏瓦蒂夫人 , 欧新明 :
在懒惰证明定理证明程序中支持量词的双层技术。 TACAS公司 2005 : 334-348 蒂齐亚娜·玛格丽亚 , 拉尔夫·内格 , 伯恩哈德·斯特芬 :
jETI:用于远程工具集成的工具。 TACAS公司 2005 : 557-562 威尔·马拉罗 :
使用BDD决定CTL。 TACAS公司 2005 : 222-236