C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
Jeroen J. A. Keiren
Wieger Wesselink
Tim A. C. Willemse
Published in:
CoRR (2013)
Keyphrases
</>
static analysis
control flow
data flow
dynamic analysis
databases
high level
source code
distributed systems
building blocks
operating system
software components
java card
symbolic execution