برنامۀ درستی سنجی

{verification plan} [مدیریت-مدیریت پروژه] بخشی از برنامۀ اجرایی (implementation plan ) که روال های اثبات درستی عملکرد را توصیف می کند

💡 الگوریتم‌هایی که برای اثبات قضیه استفاده شدند داری پیچیدگی زمانی (O(n۲ می‌باشد که n تعداد رأس‌ها است. در سال ۲۰۰۵ Benjamin Werner و George Gonthier به کمک ‍‍‍‍‍Coq‍‍ برای اثبات قضیه قاعدی‌سازی کردند. این کار نیاز به اعتماد به برنامه‌های کامپیوتری که برای درستی سنجی حالت‌های خاص بودند را از بین برد. حال تنها نیاز است به Coq kernel اعتماد شود(Gonthier ۲۰۰۸).