Verification Condition Generation and Variable Conditions in Smallfoot

Josh Berdine Cristiano Calcagno Peter W. O'Hearn

Published in: CoRR (2012)

Keyphrases

sufficient conditions
model checking
face verification
neural network
evolutionary algorithm
generation process
databases
data mining
machine learning
general conditions
high security