Меня интересует выбор Go вместо JavaScript с точки зрения требования верификации. Почему в вашем случае верификация является столь жёстким требованием? Значит ли это, что любые библиотеки на JavaScript запрещены в проекте из соображений безопасности? Как проводится верификация в Go?
У меня есть друг, который выбрал методы формальной верификации в качестве темы своей бакалаврской работы, но я всё ещё не понимаю, как это применяется в реальных условиях. Поэтому мне этот вопрос очень интересен
Меня интересует выбор Go вместо JavaScript с точки зрения требования верификации. Почему в вашем случае верификация является столь жёстким требованием? Значит ли это, что любые библиотеки на JavaScript запрещены в проекте из соображений безопасности? Как проводится верификация в Go?
У меня есть друг, который выбрал методы формальной верификации в качестве темы своей бакалаврской работы, но я всё ещё не понимаю, как это применяется в реальных условиях. Поэтому мне этот вопрос очень интересен