Sign in
An abstract interpretation-based framework for software watermarking.
Patrick Cousot
Radhia Cousot
Published in:
POPL (2004)
Keyphrases
</>
abstract interpretation
model checking
static analysis
termination analysis
database applications
fine grained
data flow
active rules
dynamic analysis