Automated Program Verification.

Azadeh Farzan Matthias Heizmann Jochen Hoenicke Zachary Kincaid Andreas Podelski

Published in: LATA (2015)

Keyphrases

fully automated
semi automated
computer aided
metadata
data structure
databases
website
wide range
automated classification
machine learning
knowledge base
video sequences
pattern recognition