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

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)563-583
JournalInternational journal on software tools for technology transfer
Volume15
Issue number5-6
DOIs
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this