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

Ehlers, ThorstenNowotka, DirkSieweck, PhilippTraub, JohannesHasselbring, WilhelmEhmke, Nils Christian2020-01-072020-01-072014978-388579-621-3https://dl.gi.de/handle/20.500.12116/30989enFormal software verification for the migration of embedded code from single- to multicore systemsText/Conference Paper1617-5468