Combining Static and Dynamic Analysis of Concurrent Programs.

Frank D. Anger Rita V. Rodríguez Michal Young

Published in: ICSM (1994)

Keyphrases

dynamic analysis
concurrent programs
static analysis
reverse engineering
model checking
process algebra
source code
concurrent programming
software engineering
malicious behavior
artificial intelligence
database systems
knowledge based systems