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

Bernhard K. Aichernig; Florian Lorber; Martin Tappler

doi:10.1007/978-3-319-30734-3_4

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 proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Publisher	Springer
Pages	15-32
Number of pages	18
Volume	9660
DOIs	https://doi.org/10.1007/978-3-319-30734-3_4
Publication status	Published - 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Fields of Expertise

Information, Communication & Computing

Access to Document

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

http://dx.doi.org/10.1007/978-3-319-30734-3_4

TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
Aichernig, B. (Project manager on research unit)
1/11/14 → 31/10/17
Project: Research project
CRYSTAL - Critical Systems Engineering Factories
Aichernig, B. (Project manager) & Lorber, F. L. (Attendee / Assistant)
1/05/13 → 30/04/16
Project: Research project

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 proceeding › Conference paper › peer-review

@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",

address = "United States",

}

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 paper

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 -

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

Publication series

Fields of Expertise

Access to Document

Projects

TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems

CRYSTAL - Critical Systems Engineering Factories

Cite this