Formal software verification for the migration of embedded code from single- to multicore systems

Ehlers, Thorsten; Nowotka, Dirk; Sieweck, Philipp; Traub, Johannes (2014): Formal software verification for the migration of embedded code from single- to multicore systems. Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 137-142. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014