| |
Dec 21, 2024
|
|
|
|
|
Graduate Studies Catalog 2024-2025
|
SE 504 - Formal Methods and Models3 cr.
(Prerequisite SE 500) This course is concerned with the application of mathematical techniques and models to the problem of software development. Of particular concern are means by which to develop provably correct programs.
|
|