Object-based Verification Methods