| ▲ | plainOldText 7 days ago | |
This Scott Wlaschin talk [1] is a good introduction to TLA+. And the slides [2]. [1] https://www.youtube.com/watch?v=qs_mmezrOWs [2] https://speakerdeck.com/swlaschin/tla-plus-for-programmers | ||
| ▲ | plainOldText 7 days ago | |
This Scott Wlaschin talk [1] is a good introduction to TLA+. And the slides [2]. [1] https://www.youtube.com/watch?v=qs_mmezrOWs [2] https://speakerdeck.com/swlaschin/tla-plus-for-programmers | ||