Quickcheck tutorial

QuickCheck for C software