Login / Signup
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