Publication in Theory and Practice of Formal Methods

A paper has been accepted for publication in  Theory and Practice of Formal Methods.

Bernhard K. Aichernig and Florian Lorber and Martin Tappler: “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, volume 9660 of Lecture Notes in Computer Science, pages 15–32. Springer, 2016. (PDF)(doi:10.1007/978-3-319-30734-3_4)

Leave a Reply

Your email address will not be published. Required fields are marked *


You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>