...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)
【24h】

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

机译：关键系统2010自动验证序言（AVoCS 2010）

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This issue contains extended versions of selected papers from the 10th International Workshop on Automated Verification of Critical Systems, which was held 20-23 September 2010 in Dusseldorf, Germany. The event was co-located with the second Rodin User and Developer Workshop. Previous AVoCS workshops were held at the University of Oxford (2001 and 2007), the University of Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004), the University of Warwick (2005), LORIA, Nancy (2006), the University of Glasgow (2008), and Swansea University (2009). The aim of AVoCS 2010 was to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject was interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT/constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). There were 22 full paper submissions and 13 short submissions, of which 11 full papers and 7 short submissions were accepted for presentation at the workshop. In a second review process, 10 papers were accepted for publication in the Electronic Communications of the EASST.
机译：本期包含2010年9月20日至23日在德国杜塞尔多夫举行的第十届国际关键系统自动验证研讨会的部分论文的扩展版本。该活动与第二届Rodin用户和开发者研讨会在同一地点。先前的AVoCS讲习班在牛津大学（2001年和2007年），伯明翰大学（2002年），南安普敦大学（2003年），伦敦皇家学会（2004年），沃里克大学（2005年），洛里阿，南希（2006），格拉斯哥大学（2008）和斯旺西大学（2009）。 AVoCS 2010的目的是促进国际研究界成员之间关于关键系统验证工具和技术的互动和思想交流。对该主题进行了广泛和包容的解释。它涵盖了自动验证的所有方面，包括模型检查，定理证明，SAT / SMT /约束求解，抽象解释以及与各种关键系统类型（安全关键，安全关键，业务关键，性能关键）有关的细化。等）。共有22篇论文全文和13篇简短论文，其中11篇全文和7篇简短论文被接受在研讨会上发表。在第二次审查过程中，有10篇论文被接受在EASST的电子通信中发表。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号