CS 632G - Safety-Critical Programming in Ada

This course explores concepts of safety and security critical systems, the integrity of information in programs, and Ada language features designed to support safe and secure software development of programs upon which lives or significant property depend.

Prerequisite: CS 631G - Ada Real-Time Programming or equivalent.
Credits: 3
NOTE:
* This course is taught by the Institute for Academic Outreach.