Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada

В статье приведена ссылка на статью «Toyota: 81564 ошибки в коде». Переходим по ней и читаем её название «Toyota: 81 514 нарушений в коде».

Кто ошибся?