Debugging Formal Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference paper

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