EP. 228 - Quint Co: The Executable Spec Language Made For The AI Era

Podcast: DevNTell · Developer DAO

Opublikowano: 2026-06-26

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 We...