Наслідки можливості автономно формально верифікувати програмне забезпечення майже неймовірно великі