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