Pruvendo
About Us
Our embedded DSL created to represent specification and code to Coq proof assistant
Ursus
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
