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

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

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. / Aichernig, Bernhard K.; Lorber, Florian; Tappler, Martin.

Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Vol. 9660 Springer, 2016. p. 15-32 (Lecture Notes in Computer Science).

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

Aichernig, BK, 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, Lecture Notes in Computer Science, Springer, pp. 15-32. https://doi.org/10.1007/978-3-319-30734-3_4
Aichernig BK, Lorber F, Tappler M. 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. Springer. 2016. p. 15-32. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-30734-3_4
Aichernig, Bernhard K. ; Lorber, Florian ; Tappler, Martin. / Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Vol. 9660 Springer, 2016. pp. 15-32 (Lecture Notes in Computer Science).
@inproceedings{9e466348aa464bc8b850240c15036d1e,
title = "Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking",
author = "Aichernig, {Bernhard K.} and Florian Lorber and Martin Tappler",
year = "2016",
doi = "10.1007/978-3-319-30734-3_4",
language = "English",
volume = "9660",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "15--32",
booktitle = "Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday",

}

TY - GEN

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

AU - Aichernig, Bernhard K.

AU - Lorber, Florian

AU - Tappler, Martin

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-30734-3_4

DO - 10.1007/978-3-319-30734-3_4

M3 - Conference contribution

VL - 9660

T3 - Lecture Notes in Computer Science

SP - 15

EP - 32

BT - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

PB - Springer

ER -