Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs 0002, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. In Christiano Braga, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Volume 9539 of Lecture Notes in Computer Science, pages 141-160, Springer, 2015.
Abstract is missing.