Here you will find all availble EECS courses listed alphabetically. The tabs above futher organize the courses by the starting letter of the course name. If there is a courses that you cannot find listed, or have questions about a course that are not answered by the courses description feel free to Contact Us.
This course presents the mathematical basis for software that is correct-by-construction. Students will learn basic mathematical techniques for representing, composing and refining software specifications and how they are realized in software systems.
Prerequisite(s): EECS 762 or EECS 755
Back to top
