Repair of boolean programs using games

Andreas Griesmayer, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationGames in Design and Verification
Publication statusPublished - 2005
EventGames in Design and Verification - Edinburgh, Scotland, United Kingdom
Duration: 12 Jul 2005 → …


ConferenceGames in Design and Verification
Country/TerritoryUnited Kingdom
CityEdinburgh, Scotland
Period12/07/05 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.


    Project: Research project

Cite this