【24h】

Preface

机译:前言

获取原文

摘要

TACAS 2020 was the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series. TACAS 2020 was part of the 23rd European Joint Conferences on Theory and Practice of Software (ETAPS 2020). The conference was held at the Royal Marine Hotel in Dublin, Ireland, during April 25-30, 2020. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building systems. TACAS solicited four types of submissions: 1.Research papers advancing the theoretical foundations for the construction and analysis of systems 2.Case study papers with an emphasis on a real-world setting 3.Regular tool papers presenting a new tool, a new tool component, or novel extensions to an existing tool and requiring an artifact submission 4.Tool demonstration papers focusing on the usage aspects of tools, also subject to the artifact submission requirement.
机译:TACAS 2020是构建和分析系统的工具和算法国际会议系列的第26版。 TACAS 2020是第23届欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。会议于2020年4月25日至30日在爱尔兰都柏林的皇家海洋酒店举行。TACAS是一个研究人员,开发人员和用户的论坛,他们对对用于构建和分析系统的严格工具和算法感兴趣的人员。该会议旨在弥合具有共同利益的不同社区之间的鸿沟,并支持他们寻求改善构建系统的工具和算法的实用性,可靠性,灵活性和效率。 TACAS征集了四种类型的意见书:1.研究论文为系统的构建和分析提供了理论基础2.案例研究论文着重于实际环境3.常规工具论文介绍了一种新的工具,一种新的工具组件,或者是对现有工具的新颖扩展,需要人工提交。4。演示工具侧重于工具的使用方面,但也要遵守人工提交的要求。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号