Formal method in software engineering : Semester I 2009/2010