Verifying the Criticality Decision Gate