Teaching Software Verification

Программное обеспечение для преподавания

Если вы раскошелитесь на этот репозиторий, пожалуйста, сделайте его частным и не раскрывайте свои решения.

Для получения дополнительных курсов обратитесь к обучению SVF.