Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C D F I K L M N P S V

A
amalgamation property	Interpolation via Finitely Subdirectly Irreducible Algebras
analytic tableaux	When iota Meets lambda
C
CDCL	Interpolants and Transformational Proof Systems
CHC	Interpolants and Transformational Proof Systems
Completeness	When iota Meets lambda
congruence extension property	Interpolation via Finitely Subdirectly Irreducible Algebras
CPAchecker	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Craig interpolants	Interpolants and Interference
Craig interpolation	When iota Meets lambda Application of Interpolation in Networks
D
deductive interpolation property	Interpolation via Finitely Subdirectly Irreducible Algebras
definite descriptions	When iota Meets lambda
DRAT proofs	Interpolants and Interference
F
finitely subdirectly irreducible	Interpolation via Finitely Subdirectly Irreducible Algebras
I
infinite-state systems	Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems
Interference-based proofs	Interpolants and Interference
Interpolation	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification Interpolation and Completeness in the Modal Mu-Calculus Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems Interpolants and Transformational Proof Systems
K
Knowledge base	Application of Interpolation in Networks
L
lambda-abstraction	When iota Meets lambda
Language of a knowledge base	Application of Interpolation in Networks
local deduction theorem	Interpolation via Finitely Subdirectly Irreducible Algebras
M
modal mu-calculus	Interpolation and Completeness in the Modal Mu-Calculus
model checking	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Model completion	Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems
Mu-Calculus	Interpolation and Completeness in the Modal Mu-Calculus
N
Networks	Application of Interpolation in Networks
P
program analysis	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Proof search	Interpolants and Transformational Proof Systems
Proof transformation	Interpolants and Transformational Proof Systems
S
SAT	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
SAT solving	Interpolants and Interference
SMT	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
software verification	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
V
Verification	Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems