Safety and Assurance

1.5 credits · Graduate

Methods for assuring safety and dependability in software-intensive systems, including: system safety; hazard analysis; formal specification; verification; model checking; theorem proving; temporal logic; assurance cases.