CS 6840 - Formal System Design

Credits: (3)
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.