This is the Modelling Practices unit of the course in Formal Methods in Software Development AY 2017/18. 

This unit addresses the use of formal methods for mathematical modelling of dynamical systems and for specification of logic properties involving time. Many techniques for model based analysis are critically studied through journal club activity. Students are engaged in computer laboratory activity on analysis and design of models taken from literature.