Double the Return from your Property Portfolio: Reuse of Verification Assets from Formal to Simulation