TY - JOUR
T1 - Model checking driven heuristic search for correct programs
AU - Katz, Gal
AU - Peled, Doron
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=63449131171&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-00431-5_8
DO - 10.1007/978-3-642-00431-5_8
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
AN - SCOPUS:63449131171
SN - 0302-9743
VL - 5348 LNAI
SP - 122
EP - 131
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - 5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008
Y2 - 21 July 2008 through 21 July 2008
ER -