Liquid Types for Array Invariant Synthesis.

Manuel Montenegro Susana Nieva Ricardo Peña Clara Segura

Published in: ATVA (2017)

Keyphrases

database
neural network
decision making
search algorithm
affine transformation