Группа Публичные

Формальные методы верификации ПО на практике

👥 586 👁️ 32

Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО.

Получить ссылку на группу Вступить ➔ Вступить ➔

✅ Лайв‑чек: 1 дн. назад

📅 Добавлено: 04/02/2026

Ссылка откроется в приложении Telegram.

#PhD