Login / Signup
HCVS
2014
2018
2014
2018
Keyphrases
Publications
2018
Ekaterina Komendantskaya
,
Yue Li
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.
HCVS
(2018)
Emanuele De Angelis
,
Fabio Fioravanti
,
Adrián Palacios
,
Alberto Pettorossi
,
Maurizio Proietti
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.
HCVS
(2018)
António Ravara
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.
HCVS
(2018)
Qi Zhou
,
William Harris
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.
HCVS
(2018)
volume 278, 2018
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018.
HCVS
278 (2018)
2014
Alan Perotti
,
Guido Boella
,
Artur S. d'Avila Garcez
Runtime Verification Through Forward Chaining.
HCVS
(2014)
Emanuele De Angelis
,
Fabio Fioravanti
,
Jorge A. Navas
,
Maurizio Proietti
Verification of Programs by Combining Iterated Specialization with Interpolation.
HCVS
(2014)
Bishoksan Kafle
,
John P. Gallagher
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification.
HCVS
(2014)
Hossein Hojjat
,
Philipp Rümmer
,
Pavle Subotic
,
Wang Yi
Horn Clauses for Communicating Timed Systems.
HCVS
(2014)
Pierre-Loïc Garoche
,
Arie Gurfinkel
,
Temesghen Kahsai
Synthesizing Modular Invariants for Synchronous Code.
HCVS
(2014)
Ashutosh Gupta
,
Corneliu Popeea
,
Andrey Rybalchenko
Generalised Interpolation by Solving Recursion-Free Horn Clauses
HCVS
(2014)
volume 169, 2014
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014.
HCVS
169 (2014)