Verifying Liveness by Augmented Abstraction.

Yonit Kesten Amir Pnueli

Published in: CSL (1999)

Keyphrases

model checking
machine learning
high level
decision trees
training data
search algorithm