FinProof

  • Выпускник

Дата основания

16 ноября 2015

Отрасль

  • Финтех

Стадия

  • Прототип

О стартапе

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