Ga offline met de app Player FM !
#25 Formally Verifying the Tezos Codebase - Formal Land
Manage episode 420953621 series 2951423
In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.
Links
- Formal Land Website
- Formal Land Email: contact@formal.land
- Formal Land Twitter: @LandFooBar
- CoqOfOcaml
- The DAO hack
82 afleveringen
Manage episode 420953621 series 2951423
In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.
Links
- Formal Land Website
- Formal Land Email: contact@formal.land
- Formal Land Twitter: @LandFooBar
- CoqOfOcaml
- The DAO hack
82 afleveringen
Todos los episodios
×Welkom op Player FM!
Player FM scant het web op podcasts van hoge kwaliteit waarvan u nu kunt genieten. Het is de beste podcast-app en werkt op Android, iPhone en internet. Aanmelden om abonnementen op verschillende apparaten te synchroniseren.