Login / Signup
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