{Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation}