About Us
5+ years
Securing smart contracts with formal verification
15+ years
In cybersecurity field
Ursus Tech Stack
Stack of technologies dedicated to deliver formal verification services and create secure development toolkit
We are startup, applying formal methods to make smart contracts secure and trustworthy
Pruvendo Whitepaper
