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

Bernhard K. Aichernig, Florian Lorber, Martin Tappler

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

Original languageEnglish
Title of host publicationTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
PublisherSpringer
Pages15-32
Number of pages18
Volume9660
DOIs
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B. K., Lorber, F., & Tappler, M. (2016). Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Vol. 9660, pp. 15-32). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-30734-3_4