Skip to main content

Foobar.land

Formal verification for everyday-life programs 🏇

contact@foobar.land

Minimal cost

Minimal cost

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.

Verify

Verify

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.

Battle-tested

Battle-tested

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.