دوستان امروز امتحان توصیف و وارسی سیستم ها دارم.خیلی درس جالبی بود ولی ارزششو نمیدونستم تا اینکه قرار شد یه ارایه کلاسی داشته باشیم و منم NuSMV رو که یک ابزار #model_checker هست انتخاب کردم برا ارایه(خیلی شانسی و بدون تحقیق) واقعا چیزی که بهش پی بردم این بود که برای هر دولوپر و تستر یک ابزار این چنینی میتونه خیلی کمک کنه تا یه محصول خوب رو بتونه ارایه بده. امروزه تو دنیای تکنولوژی دلیل تمام فلاکت های موجود در باگ های نرم افزاری ریشه داره که با #model_checking میشه جلو بخش بزرگی از اونارو گرفت و در دنیای امن‌تری زیست.
