CS1502 Formal Methods in Computer Science, Spring 2007