莎朗·巴纳（编辑）;哈里斯，伊恩（编辑）;丹尼尔·克罗宁（编辑）;奥纳·拉兹（编辑） 硬件和软件：验证和测试。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年[Zbl 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） 全文： 内政部