0 votes TLA from first principles Posted 2 hours, 54 minutes ago 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