5 votes TLA from first principles Posted October 25 by skybrian Tags: specification languages, model checking, logic.temporal https://buttondown.com/hillelwayne/archive/tla-from-first-principles/ Link information This data is scraped automatically and may be incorrect. Word count 1535 words