FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: CDEFHIPRS
C
coinduction
Coinductive Invariants
Constraint Logic Programming
Constraint Solving
Corecursion
Correctness proof
D
Distributed Protocols
E
Erlang
F
Fix-points
H
Horn clauses
Horn propositional satisfiability algorithm
I
inductive definitions
Interpolation
P
parameterized verification
Program Verification
R
recursion-free constrained Horn clause
Recursive functions
S
SMT solvers