第二届部署前后验证技术国际研讨会论文集
计算机科学中的逻辑
2017-08-24 v1
摘要
本卷包含 PrePost 2017（第二届部署前后验证技术国际研讨会）的论文集，该研讨会于 2017 年 9 月 19 日在意大利 Torino 举行，作为第 13 届集成形式化方法国际会议（iFM 2017）的卫星活动。PrePost 旨在连接两个研究领域和学术社区：一方面是系统部署前的分析技术，另一方面是系统部署后的分析技术。研讨会汇集了从事计算机辅助验证、编程语言和验证领域的研究人员，共同讨论部署前后验证技术之间的联系与相互作用。这包括探索经典模型检测和测试等技术，与运行时验证和统计模型检测等技术之间的关系，以及可能在静态或动态上通过运行时监控、渐进式类型和契约等技术进行检查的类型系统之间的关系。
引用
@article{arxiv.1708.06889,
title = {Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques},
author = {Adrian Francalanza and Gordon J. Pace},
journal= {arXiv preprint arXiv:1708.06889},
year = {2017}
}