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