EP. 228 - Quint Co: The Executable Spec Language Made For The AI Era
· 38 min · Season 5 Episode 228
Show notes
In this episode of DevNTell we are joined by Gabriela Moreira who is the CEO of Quint Co. Quint is a specification language that can be used to describe models and properties inspired by Temporal Logic of Actions enabling you to write precise specs for system behavior.
Viewers of this DevNTell will get to meet Gabriela, learn about the Quint specification language and how you can get started building with it today!
— TIMESTAMPS
(00:00) Intro
(00:24) Meet Gabriella Moreira, CEO Quint Co
(01:13) From TLA+ to Quint
(03:19) Why Web3 Needs Verification
(05:49) Formal Methods 101
(08:43) Model…
Website: podcasters.spotify.com
