نواة مفتوحة المصدر أُجريت عليها تجربة تحقق، وانتهى أحد التقارير المقدمة عبر مبادرة Akrites إلى دمج تصحيح فيها.
تستعرض Microsoft نتائج مختبر FORGE في استخدام أنظمة وكيلة متعددة النماذج لاكتشاف الثغرات والتحقق منها عبر Windows ونواة Linux ومشاريع مفتوحة المصدر. وتخلص إلى أن التحدي لم يعد العثور على العيوب فقط، بل بناء خط أنابيب قادر على التحقق منها وإصلاحها وإدخالها في دورة الإصدارات.