An Introduction to Automated Verification