open source human
co-founder of @opensourcestories, formerly at @cisco, @twitter, @google, and @microsoft
Highlights
- Pro
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.