Debugging Formal Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009
Publisher.
Pages152-159
ISBN (Print)978-1-4244-4966-8
DOIs
Publication statusPublished - 2009
EventInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, United States
Duration: 15 Nov 200918 Nov 2009

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityAustin, Texas
Period15/11/0918/11/09

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Könighofer, R., Hofferek, G., & Bloem, R. P. (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). .. https://doi.org/10.1109/FMCAD.2009.5351127

Debugging Formal Specifications Using Simple Counterstrategies. / Könighofer, Robert; Hofferek, Georg; Bloem, Roderick Paul.

Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009. ., 2009. p. 152-159.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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
Könighofer R, Hofferek G, Bloem RP. Debugging Formal Specifications Using Simple Counterstrategies. In Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009. . 2009. p. 152-159 https://doi.org/10.1109/FMCAD.2009.5351127
Könighofer, Robert ; Hofferek, Georg ; Bloem, Roderick Paul. / Debugging Formal Specifications Using Simple Counterstrategies. Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009. ., 2009. pp. 152-159
@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 = ".",

}

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/

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

U2 - 10.1109/FMCAD.2009.5351127

DO - 10.1109/FMCAD.2009.5351127

M3 - Conference contribution

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 - .

ER -