FORMAL METHODS IN SOFTWARE ENGINEERING : Semester I 2010/2011