>> Course Descriptions

Term Subject Catalog # Title Credits / Units
Summer 2022 CS 412 Formal Methods in Software Engineering 4 cr.
Class Session Time Syllabus
1 5-week Summer Mon - Fri CS-412


This course will enable students to study formal methods used for the analysis of software systems to ensure software's qualities, including formal methods for specifying, validating and verifying the software systems. Topics cover formal methods used in software architecture, cleanroom software engineering, formal methods in Agent- Oriented software, robotics and integrated formal methods, applying formal methods for software engineering, reconstructing software architecture, formal method techniques, and software quality assurance.