by crux on 9/19/21, 12:35 AM with 5 comments
by erichocean on 9/19/21, 1:38 AM
TLA+ is already an "extremely lightweight specification language", with a super-useful model checker, and a ton of tooling around it (e.g. VSCode plugin), books, talks, hundreds of battle-tested examples online, etc.