Model Checking Driven Heuristic Search for Correct Programs
MODEL CHECKING AND ARTIFICIAL INTELLIGENCE（2009）
摘要
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.
更多查看译文
关键词
model checking driven heuristic,heuristic search,model checking,correct-by-construction program,correct programs,state space,genetic programming,program synthesis,syntactically-restricted program,synthesis method
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要