Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke Orna Grumberg Somesh Jha Yuan Lu Helmut Veith

Published in: CAV (2000)

Keyphrases

high level
model checking
formal verification
refinement process
neural network
information retrieval
website
search algorithm
digital libraries
information technology
wireless sensor networks
low level
decision theoretic planning