Verification of Functional Correctness of Code Diversification Techniques.

Jae-Won Jang Freek Verbeek Binoy Ravindran

Published in: NFM (2021)

Keyphrases

functional verification
source code
symbolic execution
model checking
data sets
code generation
static analysis
concurrent programs
concurrent systems
functional analysis
error correcting
formal verification
search strategies
case study
social networks
learning algorithm
neural network