Student, who passed the course satisfactorily will be able to:
- model critical software systems using formal methods
- use automated verification tools and techniques both in code and design level
- formulate safetly, liveness, correctness properties and assertions
- know fundamental formal verification concepts.