FinProof

Бизнес-инкубатор НИУ ВШЭ

Сфера деятельности:

Официальный адрес: 105187, Измайловское шоссе, д.44, стр.2

FinProof представляет собой платформу для построения высоконадежных финансовых сервисов (ключевые компоненты банковской инфраструктуры, смарт-контракты и т.п.), использующую формальные методы (certified programming) для их разработки. Использование платформы позволяет существенно сократить расходы на QA и тестирование ПО; перенести возможные дефекты и сбои с технического уровня программиста на уровень бизнес-аналитика – уровень спецификации, одновременно повышая качество ПО и улучшая его расширяемость.