Seol mar théacs é seo: Automated Model−Based Verification of Object−Oriented Code