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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Herausgeber (Verlag)	Springer
Seiten	15-32
Seitenumfang	18
Band	9660
DOIs	https://doi.org/10.1007/978-3-319-30734-3_4
Publikationsstatus	Veröffentlicht - 2016

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

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

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

TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]
Aichernig, B.
1/11/14 → 31/10/17
Projekt: Forschungsprojekt
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Forschungsprojekt

Dieses zitieren

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. Band 9660 Springer, 2016. S. 15-32 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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

Publikationsreihe

Fields of Expertise

Zugriff auf Dokument

Projekte

TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]

CRYSTAL - Critical Systems Engineering Factories

Dieses zitieren