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

Pruvendo

Org chart

Teams

Offices

Pruvendo

Org chart

Teams

Offices

Related companies