2 ms·
> I’ve taught developers how to use tools like TLA+ and Alloy in week. TLA+: - https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B - ht
by aleph_minus_one 2y ago
> I’ve taught developers how to use tools like TLA+ and Alloy in week.
TLA+:
- https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
- https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html
Alloy:
- https://alloytools.org/ https://alloytools.org/
- https://en.wikipedia.org/wiki/Alloy_(specification_language) https://en.wikipedia.org/wiki/Alloy_(specification_language)