Refinement of Trace Abstraction.

Matthias Heizmann Jochen Hoenicke Andreas Podelski

Published in: SAS (2009)

Keyphrases

high level
refinement process
artificial intelligence
heuristic search
data sets
real world
machine learning
learning algorithm
three dimensional
multiscale
evolutionary algorithm
medical images
temporal abstractions
data abstraction
step wise