))
#4 Gabriela Moreira
Manage episode 485381277 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Gabriela Moreira is the lead developer of Quint, a modern and executable specification language. We talk about formal methods, model checkers and how learning functional programming is not so much difficult as it is different
Topics covered:
Quint
Formal Methods
TLA+
Leslie Lamport
Model checking
Episode links:
Philip Wadler - Propositions as Types
6 episodes
Share
