DTC VISITOR PROJECTS Object-based Verification Methods