Formal Methods Homework 2014