Repair of boolean programs with an application to C

Andreas Griesmayer, Roderick Paul Bloem, Cook Byron

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelComputer Aided Verification
Herausgeber (Verlag)Springer
Seiten358-371
Band4144
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Conference on Computer Aided Verification - Seattle, Washington, USA / Vereinigte Staaten
Dauer: 15 Aug. 2006 → 20 Aug. 2006

Publikationsreihe

NameLNCS
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Computer Aided Verification
Land/GebietUSA / Vereinigte Staaten
OrtSeattle, Washington
Zeitraum15/08/06 → 20/08/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • 1 Abgeschlossen

  • EU - Prosyd - Property-Based System Design

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

    1/01/04 → 31/12/06

    Projekt: Forschungsprojekt

Dieses zitieren