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)