Formal verification for everyday-life programs 🏇
We design tools to minimize the cost of formal verification. We take the necessary shortcuts and decisions to make formal verification accessible to everyday-life programs.
Using mathematical methods, we make sure that critical parts of your code are free of bugs. Scale your code and onboard new developers without risking to break things. Make perfect code reviews.
We are currently verifying the implementation of the crypto-currency Tezos with the aim to make it an extremely safe exchange platform. We rely on the mature proof system Coq for all of our work.