Pruvendo is a startup, focused on development of the embedded domain specific language Ursus - programming language for the development of secured by design smart contracts and its formal verification.
Our services:
1. Smart contracts development
2. Formal verification
Our products:
Ursus - Coq embedded dsl for smart contract development and formal verification
Olympus - tool for online smart contract activity monitoring, designed for tracking blockchains, collecting and analysing data and sending alerts in case of suspicious activity
Company Details
- Employees
- 8
- Address
- Dubai, Ae
- Industry
- Computer And Network Security
- Website
- https://pruvendo.com/
- Keywords
- Formal verification, Smart contract development support, Smart contract suspicious activity monitoring.
- HQ
- Dubai
Pruvendo Questions
Pruvendo's website is https://pruvendo.com/
Pruvendo's LinkedIn profile is https://ae.linkedin.com/company/pruvendo
Pruvendo has
8 employees.
View email and phone details for 8
employees at Pruvendo.
Pruvendo's industry is
Computer and Network Security
Pruvendo's top competitors are
Jatdev Middle East,
Crowdfense,
Stitchain,
T4trust,
Complyan,
Nashid,
Uqoud,
Any.run,
Hiving Technology,
Oryxlabs.
Pruvendo's categories are Computer and Network Security
