ESP-MC: An Experiment on the Use of Verification Tools