Experiments and Verification