第三届Horn子句用于验证与综合研讨会会议录
计算机科学中的逻辑
2016-07-15 v1 编程语言
摘要
本卷包含HCVS 2016的会议录，即第三届Horn子句用于验证与综合研讨会，该研讨会于2016年4月3日在荷兰埃因霍温举行，作为欧洲软件理论与实践联合会议（ETAPS 2016）的卫星事件。许多感兴趣的程序验证与综合问题可以直接使用Horn子句建模，并且CLP和CAV社区中的许多近期进展都围绕高效求解以Horn子句形式呈现的问题。第三届Horn子句用于验证与综合研讨会的组织旨在汇聚在约束/逻辑编程和程序验证两个社区中从事基于Horn子句的分析、验证与综合的研究人员。用于验证与综合的Horn子句已被这两个社区在不同时间和从不同角度倡导，本次研讨会旨在促进互动以及经验的有益交流与融合。
引用
@article{arxiv.1607.04033,
title = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis},
author = {John P. Gallagher and Philipp Rümmer},
journal= {arXiv preprint arXiv:1607.04033},
year = {2016}
}