Verification using simulation