Compositional verification of sequential programs with procedures.

Dilian Gurov Marieke Huisman Christoph Sprenger

Published in: Inf. Comput. (2008)

Keyphrases

symbolic execution
hardware designs
test generation
model checking
automatic programming
verification method
computer vision
programming environment
signature verification
real time
web services
case study
static analysis
java programs