dosek-verification

Fork of the dOSEK source code for verification

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

Vertical Verification: SSTG -> nuSMV model

Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG