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

Course Search




Keyword Search



Course Descriptions: Search Results

CPS 814 Formal Methods in Software Development

Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Effective Dates:
FS92 - SS99

CSE 814 Formal Methods in Software Development

Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Effective Dates:
US99 - US01

CSE 814 Formal Methods in Software Development

Semester:
Fall of odd years
Credits:
Total Credits: 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.
Not open to students with credit in:
CPS 814
Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Effective Dates:
FS01 - US19

CSE 814 Formal Methods in Software Development

Semester:
Fall of odd years
Credits:
Total Credits: 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.
Not open to students with credit in:
CPS 814
Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Effective Dates:
FS21 - FS22

CSE 814 Computer Aided Verification

Semester:
Spring of every year
Credits:
Total Credits: 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.
Not open to students with credit in:
CPS 814
Description:
Formal specification languages, integrating verification with development. Design and the implementation of term project.
Effective Dates:
SS23 - Open