Сб. Сен 25th, 2021

    Предложение по формальным методам управления

    Предложение заключается в создании Субуправления формальными методами (ForMet SG) для Free TON.

    Миссия состоит в том, чтобы способствовать улучшению программного обеспечения, используемого в сети Free TON, с помощью формальных методов проверки.

    Видение состоит в том, чтобы сделать Free TON более безопасным и надежным и, таким образом, улучшить экосистему Free TON и расширить сообщество Free TON.

    Обсудить предложение можно на форуме