DevNTell
EP. 228 - Quint Co: The Executable Spec Language Made For The AI Era
37:47
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…