Automatic verification of application-tailored OSEK kernels.

Hans-Peter Deifel, Merlin Gttlinger, Stefan Milius, Lutz Schrder, Christian Dietrich, Daniel Lohmann

Browse the full FMCAD paper archive.