Software Reliability and Safety

CSCE 846: Software Reliability and Safety

3 credits.

Pre-Requisites or Co-Reqs: 
Prereq: STAT 509 or 510 or 511

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. Not auditable.