| Topics include formal models and specification languages for capturing embedded system behaviour; techniques for specification, exploration and refinement; tools for validation, verification and simulation; and quality and performance metrics. Students will explore an advanced topic in depth through the term project. Prerequisite: Courses in digital logic and operating systems, such as CS 3813 and CS 3413. |
