- Horatiu Cirstea, Alexis Grall, Dominique Méry:
Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS 2020: 110-124 - Geoff W. Hamilton
:
Distilling Programs to Prove Termination. VPT/HCVS@ETAPS 2020: 140-154 - John P. Gallagher, Robert Glück:
An Experiment Combining Specialization with Abstract Interpretation. VPT/HCVS@ETAPS 2020: 155-158 - Philipp Rümmer:
Competition Report: CHC-COMP-20. VPT/HCVS@ETAPS 2020: 197-219 - Lorenzo Clemente:
On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars. VPT/HCVS@ETAPS 2020: 29-43 - Dimitur Nikolaev Krustev:
Optimizing Program Size Using Multi-result Supercompilation. VPT/HCVS@ETAPS 2020: 125-139 - Laurent Fribourg, Matthias Heizmann:
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020. EPTCS 320, 2020 [contents] - 2019
- Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert:
Understanding Counterexamples for Relational Properties with DIbugger. HCVS/PERR@ETAPS 2019: 6-13 - Qi Zhou, David Heath, William Harris:
Relational Verification via Invariant-Guided Synchronization. HCVS/PERR@ETAPS 2019: 28-41 - Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS 2019: 42-47 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. HCVS/PERR@ETAPS 2019: 48-75 - Ozan Kahramanogullari:
On Quantitative Comparison of Chemical Reaction Network Models. HCVS/PERR@ETAPS 2019: 14-27 - Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. EPTCS 296, 2019 [contents] - 2016
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. HCVS@ETAPS 2016: 49-55 - Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko:
Efficient CTL Verification via Horn Constraints Solving. HCVS@ETAPS 2016: 1-14 - Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux:
Hierarchical State Machines as Modular Horn Clauses. HCVS@ETAPS 2016: 15-28 - Bishoksan Kafle, John P. Gallagher, Pierre Ganty:
Solving non-linear Horn clauses using a linear Horn clause solver. HCVS@ETAPS 2016: 33-48 - Gabriele Paganelli:
Horn Binary Serialization Analysis. HCVS@ETAPS 2016: 56-68 - Peter Schrammel:
Challenges in Decomposing Encodings of Verification Problems. HCVS@ETAPS 2016: 29-32 - John P. Gallagher, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents] - 2014
- Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti:
Verification of Programs by Combining Iterated Specialization with Interpolation. HCVS 2014: 3-18 - Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai:
Synthesizing Modular Invariants for Synchronous Code. HCVS 2014: 19-30 - Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi:
Horn Clauses for Communicating Timed Systems. HCVS 2014: 39-52 - Bishoksan Kafle, John P. Gallagher:
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. HCVS 2014: 53-67 - Alan Perotti, Guido Boella, Artur S. d'Avila Garcez:
Runtime Verification Through Forward Chaining. HCVS 2014: 68-81 - Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Generalised Interpolation by Solving Recursion-Free Horn Clauses. HCVS 2014: 31-38 - Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 [contents]
