Формальна верифікація залишається шляхом.