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

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

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

Исходный код наших проектов доступен здесь: https://github.com/vorpal-research