CS 5392 - Formal Methods in Software Engineering

Course Description:

The use of design and specification languages in producing software systems. Emphasis is placed on proving correctness of designs and implementations.

Prerequisite:

Course Objectives:

None.

Course Notes:

None.

Section Info:

Lecture/Lab Hours: 3 hours lecture, 0 hours lab
Offered: Frequently (typically in the Spring)