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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	563-583
Fachzeitschrift	International Journal on Software Tools for Technology Transfer
Jahrgang	15
Ausgabenummer	5-6
DOIs	https://doi.org/10.1007/s10009-011-0221-y
Publikationsstatus	Veröffentlicht - 2013

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Zugriff auf Dokument

10.1007/s10009-011-0221-y

final_sttt.pdfEndgültige, publizierte Fassung, 917 KB

Andere Dateien und Links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Projekt: Forschungsprojekt
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Projekt: Forschungsprojekt

Dieses zitieren

@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)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

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

Dieses zitieren