EasyChair Smart SlideDocs/Log in
Conference: HCVS 2018 (5th Workshop on Horn Clauses for Verification and Synthesis)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A simple functional presentation and an inductive correctness proof of the Horn algorithm

A simple functional presentation and an inductive correctness proof of the Horn algorithm

António Ravara

Horn Clauses and Beyond for Relational and Temporal Program Verification

Horn Clauses and Beyond for Relational and Temporal Program Verification

Hiroshi Unno

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions

Qi Zhou, David Heath and William Harris

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair