第12届Horn子句验证与综合研讨会论文集
计算机科学中的逻辑
2025-10-30 v1 编程语言
软件工程
摘要
本卷包含第12届Horn子句验证与综合研讨会（HCVS 2025）的后 proceedings，该研讨会于2025年7月22日在克罗腾亚亚洲驻城举行，作为37届国际计算机辅助验证会（CAV 2025）的 affiliated 研讨会。
引用
@article{arxiv.2510.25468,
title = {Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis},
author = {Emanuele De Angelis and Florian Frohn},
journal= {arXiv preprint arXiv:2510.25468},
year = {2025}
}