The Localization Reduction and Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke Robert P. Kurshan Helmut Veith

Published in: Essays in Memory of Amir Pnueli (2010)

Keyphrases

model checking
formal verification
case study
high level
low level
localization algorithm
data abstraction
accurate localization
real time
refinement process
reduction method
dynamic environments
evolutionary algorithm
artificial neural networks
information retrieval
machine learning
neural network
databases