Debugging Unrealizable Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Contribution to conference › (Old data) Lecture or Presentation

Original language	English
Publication status	Published - 28 Jun 2009
Event	Workshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, France Duration: 28 Jun 2009 → …

Conference	Workshop on Games for Design, Verification and Synthesis (GASICS)
Country	France
City	Grenoble
Period	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
Project: Research area
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
Project: Research project

@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 -