Part V: Abstracting Failures

In this part, we show how to determine abstract failure conditions.