Products

FinProof

Platform and tooling for trustworthy financial software services development.

Pruvendo

Marketplace and technology for mathematically proved smart-contracts.
Mechanizing relationships of developers and their customers, while improving software quality and trustworthiness.

SensorChain

Internet-Of-Things system for automatization and optimization of supply-chain operations.