Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.

Julien Bertrane

Published in: VMCAI (2005)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
termination analysis
symbolic execution
source code
regular expressions
test generation
model checking
active databases
reasoning engine
test suite
active rules
case study