Repair of boolean programs with an application to C

Andreas Griesmayer, Roderick Paul Bloem, Cook Byron

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationComputer Aided Verification
PublisherSpringer
Pages358-371
Volume4144
Publication statusPublished - 2006
EventInternational Conference on Computer Aided Verification - Seattle, Washington, United States
Duration: 15 Aug 2006 → 20 Aug 2006

Publication series

NameLNCS
PublisherSpringer

Conference

ConferenceInternational Conference on Computer Aided Verification
Country/TerritoryUnited States
CitySeattle, Washington
Period15/08/06 → 20/08/06

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.

    1/01/04 → 31/12/06

    Project: Research project

Cite this