علویه السادات علوی زاده - عضو هیات علمی گروه کامپیوتر، واحد زرندیه، دانشگاه آزاد اسلامی، زرندیه، ایران

یکی از فازهای مهم در فرایند ساخت یک سیستم نرم افزاری یا سخت افزاری فاز آزمایش یا درستی یابی نامیده می شود. ولی این فاز نیاز به دانش بالا و آزمایش در تمام محیط های ممکن دارد، که این امر توسط روش های صوری به خوبی امکان پذیر می باشد. هدف ما در این مقالهتشریح مفهوم درستی یابی می باشد. در ادامه انواع روش های صوری برای درستی یابی معرفی می شوند. یکی از روش های درستی یابی وارسی مدلمی باشد که پس از توصیف این روش، به بیان یک مثال موردی در مورد آن می پردازیم.

درست ییابی، وارسی مدل، PRISM