Computer language processing
EPFL CS550 - Formal Verification
An empty project you can use to play with worksheets.