Liveness Verification and Synthesis: New Algorithms for Recursive Programs.

Roland Meyer Sebastian Muskalla Elisabeth Neumann

Published in: CoRR (2017)

Keyphrases

learning algorithm
data structure
program synthesis
data mining
artificial intelligence