Automated verification of refinement laws.

Peter Höfner Georg Struth Geoff Sutcliffe

Published in: Ann. Math. Artif. Intell. (2009)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
temporal logic
graph theory
learning environment
machine learning
computer vision
feature selection
decision trees
multiscale
search algorithm
refinement process