Part IV: Abstracting Failures
¶
In this part, we show how to determine abstract failure conditions.