Predicate abstraction for software verification.

Cormac Flanagan Shaz Qadeer

Published in: POPL (2002)

Keyphrases

high level
first order logic
neural network
decision theoretic planning
machine learning
image processing
three dimensional
information technology
probability distribution