Correct-by-construction specification to verified code.

Ning Ge Arnaud Dieumegard Eric Jenn Laurent Voisin

Published in: J. Softw. Evol. Process. (2018)

Keyphrases

code generation
source code
data sets
specification language
construction process
error correcting
short list
neural network
high level
multiscale
search algorithm
formal methods
protocol specification