[IP стек с формальной верификацией] Не нашел такого. Достаточно странно.
Факапы в IP стеках встречаются регулярно. Свежачок годовалой давности.
https://www.wired.com/story/urgent-11-ipnet-vulnerable-devices/
https://www.theregister.com/2019/07/29/wind_river_patches_vxworks/
Методы формально верификации потихоньку взрослеют.
Темпоральная логика
Решатели теорем
Но я не сумел найти ни одного стека, пусть даже за адские деньги, про который авторы бы заявили - прошел формальную верификацию.