Learning objectives 1. Comprehension of technical methods. 2. Knowledge of formal methodology. 3. 4. 5 Formal justification of informal reasoning.