Static Analysis to Identify Invariants in RSML Specifications.

David Y. W. Park Jens U. Skakkebæk David L. Dill

Published in: FTRTFT (1998)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
specification language
control flow
real world
data mining
artificial intelligence
wordnet
formal specification