Verification Fundamentals