Mar 28, 2024  
2023-24 Catalog 
    
2023-24 Catalog ARCHIVED CATALOG: Content may no longer be accurate.

Add to My Catalog (opens a new window)

CS 5840 - Formal System Design

Credits: (3)
Typically Taught Fall Semester: Full Sem
Course Fee: $25.00
Course Fee Purpose: Course fees are designed to cover the costs of lab equipment maintenance and replacement including desktop and server computer systems and software; consumable materials and supplies; and support for lab aides, student tutors, and online instructional resources.
Description: Methods for developing high-quality hardware/software systems that are delivered on time, within budget, and according to requirements. Techniques for specifying programs and reasoning about them, including formal logical proofs, correct code synthesis, model checking, type theory specifications, and properly evaluating concurrent programs.
Pre-requisite(s): CS 2420 .



Add to My Catalog (opens a new window)