Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).

Daniel Kroening Thomas W. Reps Sanjit A. Seshia Aditya V. Thakur

Published in: Dagstuhl Reports (2014)

Keyphrases

decision procedures
abstract interpretation
termination analysis
modal logic
static analysis
theorem proving
automated reasoning
model checking
reasoning engine
active rules
dynamic analysis
active databases
conjunctive queries
database
satisfiability problem
temporal logic
distributed systems