停止战争！

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

对于科学家：

默认搜索操作

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

问别人

3.2007年海法核查会议：以色列海法

>主页 >会议和研讨会 >海法核查会议

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/2007
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/2007
凯伦·约拉夫:
硬件和软件：验证和测试，第三届国际海法验证会议，HVC 2007，以色列海法，2007年10月23日至25日，会议记录。计算机科学课堂讲稿4899,施普林格 2008，十亿978-3-540-77964-3

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Hu07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Hu07
艾伦·J·胡:
模拟与形式：吸收有用的东西；拒绝无用的东西。 1-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Kurshan07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Kurshan07网址
罗伯特·P·库尔尚:
将商业验证扩展到更大的系统。 8-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/古普塔07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Gupta07网址
阿尔蒂·古普塔:
从硬件验证到软件验证：重用和再学习。 14-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Zeller07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Zeller07网址
安德利亚斯·策勒:
虫子从哪里来？ 16

HVC奖

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/PasareanuV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/PasareanuV07
科琳娜·帕萨雷努,威廉·维瑟:
符号执行和测试模型检查。 17-18

硬件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Fisman07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Fisman07网址
达娜·菲斯曼:
计时语义下Until作为不动点的特征。 19-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/DoucetSKJG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/DoucetSKJG07
弗雷德里克·多塞特,R.K.Shyamasundar先生,英格尔夫·H·克鲁格,索拉巴·乔希,拉杰什·古普塔:
SystemC事务级模型中的反应性。 34-50

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/SmrckaV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/SmrckaV07网址
亚历斯·斯姆卡,托马斯·沃伊纳:
通过反自动机验证参数化硬件设计。 51-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/JansenKOSZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/JansenKOSZ07
大卫·N·詹森,Joost-Pieter Katoen公司,马塞尔·奥尔登坎普,玛丽埃尔·斯托琳加,伊万·萨普雷夫:
你的概率模型检查器有多快和多胖？实验性能比较。 69-85

动态硬件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Moss07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Moss07网址
安娜·摩斯:
基于CP的随机测试生成的约束模式和搜索过程。 86-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/FornierZ07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/FournierZ07网址
劳伦特·福尼尔,阿维·齐夫:
使用虚拟覆盖来应对难以触及的事件。 104-119

合并形式化和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/BensalemPQTZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/BensalemPQTZ07
萨德克·本萨勒姆,多龙·A·贝利德,曲洪阳,斯塔夫罗斯·特里帕基斯,勒诺·D·扎克:
最终周期路径的测试用例生成。 120-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/RaffeltSM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/RaffeltSM07网址
哈拉尔德·拉菲尔特,伯恩哈德·斯特芬,蒂齐亚娜·玛格丽亚:
通过自动学习进行动态测试。 136-152

软件的形式验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/HillebrandP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/HillebrandP07
马克·希勒布兰德,沃尔夫冈·保罗:
关于系统验证环境的体系结构。 153-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/BabicH07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/BabicH07网址
Domagoj Babic公司,艾伦·J·胡:
在软件验证条件下利用共享结构。 169-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/NollS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/NollS07网址
托马斯·诺尔,巴斯蒂安·施利希:
模型检查嵌入式系统汇编代码中的延迟不确定性。 185-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/BaslerKW07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/BaslerKW07网址
杰拉德·巴斯勒,丹尼尔·克罗宁,乔治·魏森巴赫:
下推系统的完全有界模型检验算法。 202-217

软件测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/NirTY07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/NirTY07网址
多尔尼尔,Shmuel S.Tyszberowicz先生,阿米拉姆·耶胡代:
查找回归错误。 218-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/RazKPHFFFGN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/RazKPHFFFGN07网址
奥尔纳·拉兹,莫西·克劳斯纳,尼赞·佩莱,加迪·哈伯,埃坦·法基,沙查尔·芬布利特,雅科夫·S·菲利亚斯基,谢·加默尔（Shay Gammer）,谢尔盖·诺维科夫:
链接后代码覆盖的优点。 235-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/PasternakTY07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/PasternakTY07网址
本尼·帕斯捷尔纳克,Shmuel S.Tyszberowicz先生,阿米拉姆·耶胡代:
GenUTest：一个单元测试和模拟方面生成工具。 252-266

服务

管理网站设置

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