介绍软件规范、开发和验证的数学模型、语言和方法。

与ECE 478相同。3个本科学时。3或4个研究生学时。先修课程：CS 225；CS 373或MATH 414。