2017年TACAS

接受的文件

诉讼第1部分,第2部分

TACAS是一个为研究人员、开发人员和用户提供的论坛，他们对用于系统构建和分析的基于严格的工具和算法感兴趣。该会议旨在弥合不同社区之间的差距，以实现这一共同利益，并支持他们寻求提高系统构建工具和算法的实用性、可靠性、灵活性和效率。

鼓励撰写与工具构建和分析以及工具描述和案例研究具有明确相关性的理论论文，并提供概念信息。会议涵盖的主题包括但不限于：

• 规范和验证技术；
• 软硬件验证；
• 实时、混合或随机系统的分析技术；
• 安全、安保或可靠性分析技术；
• 模型检验；
• 理论证明；
• SAT和SMT解决方案；
• 静态和动态程序分析；
• 测试；
• 用于建模和验证的抽象技术；
• 基于合成和细化的方法；
• 系统构建与转换技术；
• 工具环境和工具体系结构；
• 应用程序和案例研究。

TACAS纸张类别

TACAS接受四种类型的提交：研究论文、案例研究论文、常规工具论文和工具演示论文。所有四种类型的论文都将出现在会议记录中，并在会议期间进行陈述。

• 研究论文明确确定并证明对系统构建和分析的理论基础的原则性推进。在适用的情况下，它们得到了实验验证的支持。研究论文最多可以有15页（不包括最多2页的书目）。
• 案例研究论文案例研究报告，最好是在现实世界中。他们应提供以下方面的信息：正在研究的系统及其感兴趣的原因、研究的目标、系统对自动分析的挑战、所使用的研究方法和方法、目标的实现程度，以及如何将结果推广到其他问题和领域。案例研究论文最多可以有15页（不包括最多2页的书目）。
• 常规工具文件提供新工具、新工具组件或现有工具的新扩展。他们应该提供理论基础的简短描述和相关引用，并强调设计和实现关注点，包括软件架构和核心数据结构。常规工具文件应明确说明工具的功能，根据工具可以处理的问题的类型和大小讨论工具的实际能力，描述实际案例研究的经验，并在适用的情况下提供严格的实验评估。对现有工具进行扩展的论文应明确关注与之前发布的工具版本相关的改进或扩展，最好通过资源和功能方面的增强数据加以证实。强烈鼓励作者公开他们的工具，最好是在网上，即使只是为了评估过程。工具文件最多可以有15页（不包括最多2页的书目）。
• 工具演示文件关注工具的使用方面。与常规工具文件一样，强烈鼓励作者公开他们的工具，最好是在网上。不需要理论基础和实验评估，但应提供动机，说明为什么该工具有趣且重要。工具演示文件最多可以有6页。他们应该有一个最多6页的附录，其中包含实际演示的详细信息。

所有论文都将由TACAS项目委员会进行评估，由TACAS联合主席协调研究论文和案例研究论文，由TACASs工具主席协调常规工具文件和工具演示文件。

软件验证竞赛

2017年TACAS主办了第六届软件验证竞赛，旨在评估技术转让并比较最先进的软件验证工具的有效性和效率。有关更多信息，请访问比赛网页.