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

Robert Könighofer; Georg Hofferek; Roderick Paul Bloem

doi:10.1007/s10009-011-0221-y

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

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Institute of Applied Information Processing and Communications (7050)

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	563-583
Journal	International Journal on Software Tools for Technology Transfer
Volume	15
Issue number	5-6
DOIs	https://doi.org/10.1007/s10009-011-0221-y
Publication status	Published - 2013

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Access to Document

10.1007/s10009-011-0221-y

final_sttt.pdfFinal published version, 917 KB

Cite this

@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-2787",

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

SN - 1433-2787

VL - 15

SP - 563

EP - 583

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 5-6

ER -

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

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Cite this

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

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Cite this