SDC Verifier Code checking for your fea software