Mar 29, 2024  
2019-2020 Catalog 
    
2019-2020 Catalog ARCHIVED CATALOG: Content may no longer be accurate.

Add to My Catalog (opens a new window)

CS 6840 - Formal System Design

Credits: (3)
Methods for developing high-quality hardware/software systems that are delivered on time, within budget, and according to requirements.  Techniques for specifing programs and reasoning about them, including formal logical proofs, correct code synthesis, model checking, type theory specifications, and properly evaluating concurrent programs. Prerequisite: CS 2420 .



Add to My Catalog (opens a new window)