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

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Contribution to journalArticleResearchpeer-review

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

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. / Könighofer, Robert; Hofferek, Georg; Bloem, Roderick Paul.

In: International journal on software tools for technology transfer, Vol. 15, No. 5-6, 2013, p. 563-583.

Research output: Contribution to journalArticleResearchpeer-review

@article{a7c569fba5f94e9ea74d6d3dedbb1959,
title = "Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies",
author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",
year = "2013",
doi = "10.1007/s10009-011-0221-y",
language = "English",
volume = "15",
pages = "563--583",
journal = "International journal on software tools for technology transfer",
issn = "1433-2779",
publisher = "Springer Verlag",
number = "5-6",

}

TY - JOUR

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

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2013

Y1 - 2013

UR - http://dx.doi.org/10.1007/s10009-011-0221-y

UR - http://link.springer.com/article/10.1007%2Fs10009-011-0221-y

U2 - 10.1007/s10009-011-0221-y

DO - 10.1007/s10009-011-0221-y

M3 - Article

VL - 15

SP - 563

EP - 583

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

SN - 1433-2779

IS - 5-6

ER -