【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the papers presented at ATVA 2015, the 13th International Symposium on Automated Technology for Verification and Analysis, held during October 12-15, 2015, in Shanghai. The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing an international forum for interaction among researchers in academia and industry. This year, 82 regular and 13 tool papers were submitted to the conference. The Program Committee (PC) decided to accept 33 papers (six of them are tool papers). The program also included three invited talks and three invited tutorials given by Prof. Dino Distefano (Facebook and Queen Mary University of London), Prof. Martin Fraenzle (Carl von Ossietzky University), Prof. Joost-Pieter Katoen (RWTH Aachen University), and Prof. J Strother Moore (University of Texas at Austin).
机译:本卷包含于2015年10月12日至15日在上海举行的第13届国际自动验证和分析技术研讨会ATVA 2015上发表的论文。 ATVA的目的是通过为学术界和工业界的研究人员之间的互动提供一个国际论坛,促进自动化分析,验证和综合的理论和实践方面的研究。今年,大会共提交了82篇常规论文和13篇工具论文。计划委员会(PC)决定接受33篇论文(其中六篇是工具论文)。该计划还包括Dino Distefano教授(Facebook和伦敦玛丽大学),Martin Fraenzle教授(卡尔·冯·奥西茨基大学),Joost-Pieter Katoen教授(亚琛工业大学)进行了三场邀请演讲和三场教程。 J Strother Moore教授(德克萨斯大学奥斯汀分校)。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号