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