Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Temesghen Kahsai, German Vidal

Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around…