Debugging Formal Specifications with Simplified Counterstrategies

Robert Könighofer

Research output: ThesisDiploma Thesis

Original languageEnglish
Publication statusPublished - 2009

Treatment code (Nähere Zuordnung)

  • Application
  • 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

Cite this