第一届用于验证与综合的霍恩子句研讨会论文集
计算机科学中的逻辑
2014-12-03 v1 软件工程
摘要
本卷包含 HCVS 2014（第一届用于验证与综合的霍恩子句研讨会）的论文集，该研讨会于 2014 年 7 月 17 日在奥地利维也纳举行，作为联合逻辑会议 (FLoC) 的卫星会议，也是维也纳逻辑之夏 (VSL 2014) 的一部分。HCVS 2014 隶属于第 26 届计算机辅助验证国际会议 (CAV 2014) 和第 30 届逻辑编程国际会议 (ICLP 2014)。大多数感兴趣的程序验证与综合问题可以直接使用霍恩子句建模，且约束/逻辑编程和程序验证社区的许多最新进展都集中在高效解决以霍恩子句形式呈现的问题上。由于用于验证和综合的霍恩子句已被这些社区在不同时间从不同角度所倡导，因此组织 HCVS 研讨会旨在促进互动以及经验的富有成效的交流与整合。
引用
@article{arxiv.1412.0825,
title = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis},
author = {Nikolaj Bjørner and Fabio Fioravanti and Andrey Rybalchenko and Valerio Senni},
journal= {arXiv preprint arXiv:1412.0825},
year = {2014}
}