Login / Signup
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.
Javier Esparza
Stefan Kiefer
Stefan Schwoon
Published in:
J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
</>
model checking
high level
distributed systems
intelligent systems
expert systems
control system
website
database systems
digital libraries
neural network
management system
information systems
artificial intelligence
learning systems
complex systems
retrieval systems
information retrieval