3 ms·Isn't this where formal specification languages like TLA+ are useful?by omginternets 9y agoIsn't this where formal specification languages like TLA+ are useful?platz 9y agoyeshwayne 9y agoI sometimes describe TLA+ to people as "unit-testable flowcharts." It's pretty inaccurate but kinda gets the idea across?