Static analysis based on formal models and incremental computation in Go programming.

Katsuhiko Nakamura

Published in: Theor. Comput. Sci. (2005)

Keyphrases

static analysis
formal models
dynamic analysis
source code
formal model
rule based systems
process model
symbolic execution
java card
test generation
regular expressions
malicious code
data sets
programming language
test suite
cd rom
building blocks
computational intelligence
knowledge base