Maximal specification synthesis.

Aws Albarghouthi Isil Dillig Arie Gurfinkel

Published in: POPL (2016)

Keyphrases

high level
neural network
formal specification
three dimensional
formal language
independent set
real world
genetic algorithm
image segmentation
user defined
texture synthesis
formal methods