PRUVENDO

We provide secure Development of smart contracts, Audit, Formal specification and Deductive formal verification to ensure credibility and security of critical systems for either simple or complex multi-contract asynchronous systems... We are a technology company and our major focus is on Formal Methods R&D. We believe it's possible to make formal verification tools and services usable for the wider community of software developers (as for now FV is popular mostly in SoC design)... We provide cybersecurity solutions that are based on a deductive formal verification technology stack, empowered by in-depth scientific research.

Also known as: Pruvendo FZCO