Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)563-583
JournalInternational Journal on Software Tools for Technology Transfer
Issue number5-6
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this