FinProof Enterprise-grade solution for bug-free financial software development

Problem QA: 35% of IT budget, and rapidly increasing Software defects mitigation: $59.5B Notable failures: ● KCG: -$440M in 2012 ● The DAO: -$50M in 2016

Testing Proving

Product Development tools Systems integration Libraries and components Specification tools

Pythagorean theorem Testing Proving Checked for this one. True Haven’t you forget to check this one? a2 + b2 = c2 Checked for this one. True Checked for this one. True

Business Model Financial Institutions ● Per-server licensing ● Outsourcing and consulting services Developers ● Free development license ● Paid consulting services ● Paid training programs

Market $2-3M $50M

Landscape / Competitors FinTech Transportation & Aerospace ≥ 20 years of formal methods usage in the industry £1m in a seed round by KRW Schindler in 2016

Team Andrey Lyashin, [email protected] Founder, evangelist, scientific advisor Blockchain systems formalization, certified programming evangelist, artificial intelligence, robotics. Sergey Kazenyuk, [email protected] CTO, product architect, lead developer Programming language theory and certified programming researcher; financial and blockchain products developer; Bitcoin, Monero cryptocurrency project contributor; former Intel employee. Sergey Egorov, [email protected] CEO Banking IT-products development managing director, former QA department director at Oracle/Sun Microsystems.

Progress A lot of interest from: ● Banks, 5 ● Payment processors, 4 ● Trading robots developers, 3 ● Software vendors, 3 Pilot project with Top-20 Russian bank

Thank you https://finproof.io/ e-mail: [email protected] tel.: +7 (921) 372-04-28