At the end of this course, the student will;
- know basic principles, theory and concepts of software verification
- apply inspection, formal technical review to deliverables of software development activities
- apply formal methods of software verification to analyze imperative programs
- apply and use automated software verification tools to object oriented systems.