Checker No-Harm Alarm Robustness