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