Formal Land
Information Technology & Services - Paris, Île-de-France, France
Formal Land Employees
Formal Land Details
Minimal costWe design tools to minimize the cost of formal verification. We take the necessary shortcuts and decisions to bring formal verification to everyday-life programs.VerifyMake sure that critical parts of your code are free of bugs, using mathematical methods. Scale your code and onboard new developers without risking breaking anything. Make perfect code reviews.Battle-testedWe currently verify the implementation of the crypto-currency Tezos to make it one of the safest exchange platforms. We rely on the mature proof system Coq for all of our developments.
Website:
http://www.formal.land
Employees:
4
HQ:
Location:
Paris, Île-de-France, France
Revenue:
Formal Land Technologies
Widgets
Typeform
Hosting
GitHub Hosting