System Modeling and Analysis

The objective of the course is to introduce methods and techniques for formal specification and verification of complex systems. The course then presents languages for formal specification (operational and denotational) of system requirements and formal verification of temporal logic properties.

At the end of the course, the student will be able to design a formal specification model for complex systems. The student will also have the ability of modeling through model refinement and have skills on methods and techniques for formal verification of temporal properties.