Что такое формальная верификация / Хабр