Homework

Task 1 
- Undertake private study into the use of formal methods in developing computer systems

Task 2
- Prepare a 30 minute presentation on the following topics

1) What are formal methods
	- What do they provide
	- Examples (names and descriptions will do no need for worked case studies)
2) Where are they used witin the computing industry

You have 1 week to research this, you WILL be asked to present next week. 
