Mar 28, 2024  
Graduate Studies Catalog 2015-2016 
    
Graduate Studies Catalog 2015-2016 [ARCHIVED CATALOG]

SE 504 - Formal Methods and Models

3 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.