Title: Verification and Validation of the Scale-4 Criticality Safety Software