Debugging Formal Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009
Herausgeber (Verlag).
Seiten152-159
ISBN (Print)978-1-4244-4966-8
DOIs
PublikationsstatusVeröffentlicht - 2009
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, USA / Vereinigte Staaten
Dauer: 15 Nov 200918 Nov 2009

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtAustin, Texas
Zeitraum15/11/0918/11/09

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren