Debugging Formal Specifications Using Simple Counterstrategies

Robert Könighofer; Georg Hofferek; Roderick Paul Bloem

doi:10.1109/FMCAD.2009.5351127

Debugging Formal Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009
Publisher	.
Pages	152-159
ISBN (Print)	978-1-4244-4966-8
DOIs	https://doi.org/10.1109/FMCAD.2009.5351127
Publication status	Published - 2009
Event	International Conference on Formal Methods in Computer-Aided Design - Austin, Texas, United States Duration: 15 Nov 2009 → 18 Nov 2009

Conference

Conference	International Conference on Formal Methods in Computer-Aided Design
Country/Territory	United States
City	Austin, Texas
Period	15/11/09 → 18/11/09

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

10.1109/FMCAD.2009.5351127

20090909_TUG_FMCAD_SpecDebugging.pdfFinal published version, 293 KB

Cite this

Könighofer, R, Hofferek, G & Bloem, RP 2009, Debugging Formal Specifications Using Simple Counterstrategies. in Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009. ., pp. 152-159, International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, United States, 15/11/09. https://doi.org/10.1109/FMCAD.2009.5351127

@inproceedings{9d47b73189b8497e900bd4e21f767431,

title = "Debugging Formal Specifications Using Simple Counterstrategies",

author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",

year = "2009",

doi = "10.1109/FMCAD.2009.5351127",

language = "English",

isbn = "978-1-4244-4966-8",

pages = "152--159",

booktitle = "Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009",

publisher = ".",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 15-11-2009 Through 18-11-2009",

}

TY - GEN

T1 - Debugging Formal Specifications Using Simple Counterstrategies

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2009

Y1 - 2009

UR - http://fmv.jku.at/fmcad09/

U2 - 10.1109/FMCAD.2009.5351127

DO - 10.1109/FMCAD.2009.5351127

M3 - Conference paper

SN - 978-1-4244-4966-8

SP - 152

EP - 159

BT - Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009

PB - .

T2 - International Conference on Formal Methods in Computer-Aided Design

Y2 - 15 November 2009 through 18 November 2009

ER -

Debugging Formal Specifications Using Simple Counterstrategies

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Formal Methods for Design & Verification

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

Cite this

Debugging Formal Specifications Using Simple Counterstrategies

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

Formal Methods for Design & Verification

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

Cite this