بهبود روش وارسی مدل با استفاده از تعبیر مجرد / پویا پرتو