Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

Bernhard K. Aichernig, Florian Lorber, Martin Tappler

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

Originalspracheenglisch
TitelTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Herausgeber (Verlag)Springer
Seiten15-32
Seitenumfang18
Band9660
DOIs
PublikationsstatusVeröffentlicht - 2016

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren