Title: Verified Signal Processing Algorithms in Matlab and C