Course Descriptions

The Course Descriptions catalog describes all undergraduate and graduate courses offered by Michigan State University. The searches below only return course versions Fall 2000 and forward. Please refer to the Archived Course Descriptions for additional information.

Course Numbers Policy
Definitions of Course Characteristics (pdf)

Course Search




Keyword Search



Course Descriptions: Search Results

CSE 814  Formal Methods in Software Development

Semester:
Fall of odd years
Credits:
Total Credits: 3   Lecture/Recitation/Discussion Hours: 3
Recommended Background:
MTH 472
Restrictions:
Open only to majors in the Department of Computer Science and Engineering or approval of department.
Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Semester Alias:
CPS 814
Effective Dates:
US19 - US21


CSE 814  Formal Methods in Software Development

Semester:
Fall of odd years
Credits:
Total Credits: 3   Lecture/Recitation/Discussion Hours: 3
Recommended Background:
MTH 472
Restrictions:
Open only to majors in the Department of Computer Science and Engineering or approval of department.
Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Semester Alias:
CPS 814
Effective Dates:
FS21 - FS22


CSE 814  Computer Aided Verification

Semester:
Spring of every year
Credits:
Total Credits: 3   Lecture/Recitation/Discussion Hours: 3
Recommended Background:
CSE 260
Restrictions:
Open to graduate students in the Department of Computer Science and Engineering or approval of department.
Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Semester Alias:
CPS 814
Effective Dates:
SS23 - Open