CSE 4683

Formal Methods

Florida Institute of Technology · UGRD · Fall 2026

1 section

Catalog description

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 4083

Sections

Current meeting, instructor, credit, and enrollment details

Updated 10 hours ago

001

Availability not recently verified

Class #florida_online-1068Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?