Model checking driven heuristic search for correct programs

Gal Katz; Doron Peled

doi:10.1007/978-3-642-00431-5_8

Model checking driven heuristic search for correct programs

Gal Katz
, Doron Peled

Research output: Contribution to journal › Conference article › peer-review

4 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	122-131
Number of pages	10
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5348 LNAI
DOIs	https://doi.org/10.1007/978-3-642-00431-5_8
State	Published - 2009
Event	5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008 - Patras, Greece Duration: 21 Jul 2008 → 21 Jul 2008

Access to Document

10.1007/978-3-642-00431-5_8

Cite this

@article{b97812f9b9e742f8ac12f9cc7e33edea,

title = "Model checking driven heuristic search for correct programs",

abstract = "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.",

author = "Gal Katz and Doron Peled",

year = "2009",

doi = "10.1007/978-3-642-00431-5\_8",

language = "אנגלית",

volume = "5348 LNAI",

pages = "122--131",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008 ; Conference date: 21-07-2008 Through 21-07-2008",

}

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 - https://www.scopus.com/pages/publications/63449131171

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 -

Model checking driven heuristic search for correct programs

Abstract

Access to Document

Other files and links

Fingerprint

Cite this