Counterexample Guided Spotlight Abstraction Refinement.

Published in: FORTE (2008)

Keyphrases

high level
model checking
relational databases
formal verification
neural network
information retrieval
database systems
data abstraction
information systems
case study
expert systems
refinement process