main navigation
my pace

CS 396M Topic: Formal Software Development

Prerequisite: A grade of "C" or better in CS 199V or permission of instructor.

Course Description: A focus on emerging and promising software development techniques such as formal transformations. This course will emphasize the practical applications of formal methods in various phases of the software development lifecycle. Students will be a given a medium size project statement written in natural language and will work gradually to develop formal specifications, data and algorithm refinement, and finally proofs of correctness and completeness of their designs.

Course Rotation: TBA.

Credits

4 credits

Prerequisite

CS 199V Min Grade C