About Us
Our embedded DSL created to represent specification and code to Coq proof assistant
Experience in application of formal verification
15+ years
Securing smart contracts with formal verification
4+ years
We are startup, applying formal methods to make smart contracts secure and trustworthy
Pruvendo Whitepaper
See what media has to say about us
In the Media