Зараз ми живемо в епоху формально перевіреного коду