Daniel Selli's Colleagues at Formal Land
Daniel Selli's Contact Details
HQ
Location
State of Santa Catarina,Brazil
State of Santa Catarina,Brazil
Company
Formal Land
Formal Land
Daniel Selli's Company 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.
Frequently Asked Questions about Daniel Selli
Daniel Selli currently works for Formal Land.
Daniel Selli's role at Formal Land is Coq Proof Engineer.
Daniel Selli's email address is ***@formal.land. To view Daniel Selli's full email address, please signup to ConnectPlex.
Daniel Selli works in the Information Technology & Services industry.
Daniel Selli's colleagues at Formal Land are and others.
Daniel Selli's phone number is