HCVS@ETAPS

Keyphrases

Publications

2021

Grigory Fedyukovich, Philipp Rümmer
Competition Report: CHC-COMP-21. HCVS@ETAPS (2021)
Naoki Kobayashi
An Overview of the HFL Model Checking Project. HCVS@ETAPS (2021)
Stefan Hetzl, Johannes Kloibhofer
A Fixed-point Theorem for Horn Formula Equations. HCVS@ETAPS (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
Jesús J. Doménech, Samir Genaim
Termination Analysis of Programs with Multiphase Control-Flow. HCVS@ETAPS (2021)
Jerome Jochems
Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. HCVS@ETAPS (2021)

volume 344, 2021

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. HCVS@ETAPS 344 (2021)

2016

volume 219, 2016

Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. HCVS@ETAPS 219 (2016)