An Update on Deductive Synthesis and Repair in the Leon Tool.

Manos Koukoutos Etienne Kneuss Viktor Kuncak

Published in: SYNT@CAV (2016)

Keyphrases

software tools
program synthesis
functional programs
artificial intelligence
object oriented
user friendly
data sets
neural network
computer vision
evolutionary algorithm
analysis tool