Debugging Unrealizable Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation

Originalsprache	englisch
Publikationsstatus	Veröffentlicht - 28 Juni 2009
Veranstaltung	Workshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, Frankreich Dauer: 28 Juni 2009 → …

Konferenz	Workshop on Games for Design, Verification and Synthesis (GASICS)
Land/Gebiet	Frankreich
Ort	Grenoble
Zeitraum	28/06/09 → …

Treatment code (Nähere Zuordnung)

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Projekt: Forschungsprojekt

@conference{b9e1be3f78c14e2da8feddace8e21e2f,

title = "Debugging Unrealizable Specifications Using Simple Counterstrategies",

author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",

year = "2009",

month = jun,

day = "28",

language = "English",

note = "Workshop on Games for Design, Verification and Synthesis (GASICS) ; Conference date: 28-06-2009",

}

TY - CONF

T1 - Debugging Unrealizable Specifications Using Simple Counterstrategies

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2009/6/28

Y1 - 2009/6/28

UR - http://www.lsv.ens-cachan.fr/Events/gasics09/

M3 - (Old data) Lecture or Presentation

T2 - Workshop on Games for Design, Verification and Synthesis (GASICS)

Y2 - 28 June 2009

ER -