A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs.

Mikhail Glukhikh Mikhail J. Moiseev Sergey I. Salishev

Published in: DSD (2013)

Keyphrases

static analysis
symbolic execution
java card
test generation
dynamic analysis
source code
model checking
malicious code
abstract interpretation
regular expressions
concurrent programs
test suite
data sets
object oriented
query language
real world
databases