Ease safety critical software verification process