Skip to content

“Just know what is TLA plus. What it does is it basically…” — The Pragmatic Engineer at 28:50

The Pragmatic Engineer Formal methods with Hillel Wayne

“Just know what is TLA plus. What it does is it basically represents the state machine of the system. Every possible state it can be in, and every possible state it can transition to.”

0:00 1:23:42