Model checking driven heuristic search for correct programs

Gal Katz, Doron Peled

Research output: Contribution to journalConference articlepeer-review

4 Scopus citations


Genetic programming and model checking were combined recently to generate correct-by-construction programs. Unlike other synthesis methods, this approach is based on a search in the state space of syntactically-restricted programs. This search can be seen as a probabilistic and heuristic search. In this paper we discuss the connection between program synthesis and heuristic search.


Dive into the research topics of 'Model checking driven heuristic search for correct programs'. Together they form a unique fingerprint.

Cite this