Verification conditions for single-assignment programs.

Daniela Carneiro da Cruz Maria João Frade Jorge Sousa Pinto

Published in: SAC (2012)

Keyphrases

decision trees
sufficient conditions
formal analysis
database
image processing
verification method
symbolic execution