Jan 02, 2025  
2019-2020 Florida Tech Catalog 
    
2019-2020 Florida Tech Catalog [ARCHIVED CATALOG]

Add to Personal Catalog (opens a new window)

CSE 4683 Formal Methods

Credit Hours: 3
Introduces the use of mathematical models of software systems for their specification and validation. Includes finite state machine models, models of concurrent systems, verification of models, and limitations of these techniques.
Prerequisite: CSE 3421  and CSE 4083  



Add to Personal Catalog (opens a new window)