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:

Quint

TLA+

Philip Wadler - Propositions as Types

Gabriela's website

Logic for Programmers

Learn TLA+

Who Builds a House Without Drawing Blueprints?

Peter Alvaro - I see what you mean