Verifying the NRF Failure Handling