Formally based static analysis of microcode.

Published in: MICRO (1986)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
abstract interpretation
regular expressions
open source
java card
test generation
test suite
artificial intelligence