Mar 28, 2024  
2018-2019 Florida Tech Catalog 
    
2018-2019 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)