[Retracted] A Formal Verification Method of Compilation Based on C Safety Subset - Retracted Article | RetractBase