A Flexible Framework for Program Evolution and Verification.

Olaf Owe Jia-Chun Lin Elahe Fazeldehkordi

Published in: MODELSWARD (2019)

Keyphrases

symbolic execution
hardware designs
computer vision
database
face verification
static analysis
formal verification
data sets
neural network
data model
model checking
computer programs
formal analysis
programming environment
signature verification
automatic programming