Graph-based verification of static program constraints.

Selim Ciraci Pim van den Broek Mehmet Aksit

Published in: SAC (2010)

Keyphrases

dynamic analysis
static analysis
model checking
hardware designs
symbolic execution
co occurrence
constraint programming
geometric constraints
graph theoretic
signature verification
program execution
control program
dynamic constraints