Explore projects

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

cs50 - web programming

Extends git by RFC3161 time stamping functionality. Created by Phillip Raffeck and Anton Wuerfel in PASST WS2015/16.