Part IV: Abstracting Failures

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