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 languageEnglish
Publication statusPublished - 28 Jun 2009
EventWorkshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, France
Duration: 28 Jun 2009 → …

Conference

ConferenceWorkshop on Games for Design, Verification and Synthesis (GASICS)
CountryFrance
CityGrenoble
Period28/06/09 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application
  • Theoretical
  • Experimental

Projects

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/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/0830/06/10

Project: Research project

Cite this

Könighofer, R., Hofferek, G., & Bloem, R. P. (2009). Debugging Unrealizable Specifications Using Simple Counterstrategies. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.