莎朗·巴纳(编辑);伊恩·哈里斯(编辑);丹尼尔·克罗宁(编辑);奥纳·拉兹(编辑) 硬件和软件:验证和测试。2010年10月4日至7日,以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。 (英文) Zbl 1209.68002号 计算机科学课堂讲稿6504.柏林:施普林格出版社(ISBN 978-3-642-19582-2/pbk)。x、 第197页。(2011). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独进行审查。有关上一次会议,请参阅[Zbl 1206.68019号].索引文章:安德烈亚斯·霍尔泽;Michael Tautschnig;夏尔哈特(Christian Schallhart);赫尔穆特·维思,FQL测试规范简介,9-22[Zbl 1325.68148号]罗伯特·Könighfer;乔治·霍夫雷克;罗德里克·布洛姆,使用基于模型的诊断调试无法实现的规范,29-45[Zbl 1325.68152号]科恩,阿里尔;Kedar S.Namjoshi。;亚尼夫·萨阿尔;Lenore D.Zuck。;卡提亚·基西奥娃。,并行化符号组合模型检查算法,46-59[Zbl 1325.68146号]哈纳·乔克勒;阿里·古芬克尔(Arie Gurfinkel);斯特里赫曼(Ofer Strichman),LTL查询检查的变体,76-92[Zbl 1325.68144号]尤金·戈德伯格(Eugene Goldberg);Manolios,Panagiotis公司,基于边界点消除的SAT求解,93-111[Zbl 1325.68213号]Michael Katelman;何塞·梅塞盖尔,vlogsl语言:基于仿真的硬件验证策略语言,129-145[Zbl 1325.68150号]乌里·克莱因;阿米尔·普努利,重新审视GR(1)规范的合成,161-181[Zbl 1325.68151号]罗里尼(Simone Fulvio);罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜,一种有效且灵活的减少分辨率的方法,182-196年[兹比尔1325.68215] 引用于1审查 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 68号30 软件工程的数学方面(规范、验证、度量、需求等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 00B25型 杂项特定利益的会议记录 引文:Zbl 1206.68019号 PDF格式BibTeX公司 XML格式引用 \textit{S.Barner}(编辑)等人,《硬件和软件:验证和测试》。2010年10月4-7日,以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林:施普林格出版社(2011;Zbl 1209.68002) 全文: 内政部