C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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