Title: Verification : Theory and Practice