https://wiki.sel4.systems/FrequentlyAsk … ication.3F

Цитата: Формальная верификация крупных программных систем стала в полной мере возможна только в последние 5-10 лет (точнее с 2008 и 2014-го года)