Исследовательская группа

Лаборатория верификации и анализа программ

Все проекты нашей лаборатории находятся в открытом доступе, потому что мы очень сильно верим в принципы открытых исследований.

Исходный код наших проектов доступен здесь: