Все программное обеспечение в будущем будет формально проверено. Мы все еще на ранней стадии.