Model Checking AUTOSAR Components with CBMC.

Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr

Browse the full FMCAD paper archive.