Static Analysis of IMC.

Nataliya Skrypnyuk Flemming Nielson Henrik Pilegaard

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

static analysis
dynamic analysis
source code
process control
symbolic execution
regular expressions
java card
internal model control
malicious code
test suite
test generation
abstract interpretation
pid controller
control architecture
pattern matching
open source
high level