FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
HCVS PAPERS: KEYWORD INDEX
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