Software Reliability and Safety   [Archived Catalog]
2016-2017 Graduate Studies Bulletin (Archived Copy)
   

CSCE 846 - Software Reliability and Safety

Credits: 3

Reliability and safety of computer-intensive systems; software reliability models and analysis; operational profiles; hazard analysis using fault trees and event trees; formal verification of safety-critical systems.

Prerequisites: STAT 509 or 510 or 511

Note: Not auditable.