Synthesizing, correcting and improving code, using model checking-based genetic programming

Gal Katz, Doron Peled

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The use of genetic programming, in combination of model checking and testing, provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heuristics. We describe several versions of a method for synthesizing sequential and concurrent systems. To cope with the constraints of model checking and of theorem proving, we combine such exhaustive verification methods with testing. We show several examples where we used our approach to synthesize, improve and correct code.

Original languageEnglish
Title of host publicationHardware and Software
Subtitle of host publicationVerification and Testing - 9th International Haifa Verification Conference, HVC 2013, Proceedings
PublisherSpringer Verlag
Pages246-261
Number of pages16
ISBN (Print)9783319030760
DOIs
StatePublished - 2013
Event9th Haifa Verification Conference, HVC 2013 - Haifa, Israel
Duration: 5 Nov 20137 Nov 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8244 LNCS

Conference

Conference9th Haifa Verification Conference, HVC 2013
Country/TerritoryIsrael
CityHaifa
Period5/11/137/11/13

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Synthesizing, correcting and improving code, using model checking-based genetic programming'. Together they form a unique fingerprint.

Cite this