A theory of formal synthesis via inductive learning
Sign Up to like & getrecommendations! Published in 2017 at "Acta Informatica"
DOI: 10.1007/s00236-017-0294-5
Abstract: Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based on the use of inductive learning. We refer to this… read more here.
Keywords: inductive synthesis; formal synthesis; inductive learning; formal inductive ... See more keywords