Students should be able to understand and apply
- Recognize the power of mathematics in formal methods.
- Recognize the importance of formal notations at requirements level
- Recognize and understand one or more formal notation
- Develop skills to model requirements in formal notation
- Recognize different constructs of a graphical formal notation
- Develop skills to model requirements in a graphical formal notation
- Understand the role of formal analysis -using tools (automated analysis)