Developing Methods of Verification