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