Jun 12, 2021  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

SE 420 - Formal Methods in Software Engineering


Prerequisite, SE 410 . A survey in formal methods in software engineering, including topics such as verification techniques, software mining, and specification languages. (Offered as needed.) 3 credits