login sign up

Learn TLA+

learntla.com · first added by @afreshcup
saved by
2 people
related read on
What Should We Do to Prevent Software From Failing? from the discussion
Correctness — the paradigm for sustainable software devel... from the discussion
discussions · 1
Learn TLA+ (2018) 310 pts · 58 comments · Feb 2020 310 pts · 58 comments · Feb 2020
0 people saved or upvoted this
from the discussion · 5
The TLA+ Video Course by Leslie Lamport lamport.azurewebsites.net lamport.azurewebsites.net
0 people saved or upvoted this
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf lamport.azurewebsites.net lamport.azurewebsites.net
0 people saved or upvoted this
Shows - Event & Video Content channel9.msdn.com channel9.msdn.com
0 people saved or upvoted this
Finding bugs in systems through formalization - Superficial Reflections andy.hammerhartes.de andy.hammerhartes.de
0 people saved or upvoted this
Using TLA+ to understand Xen vchan - Thomas Leonard's blog roscidus.com roscidus.com
0 people saved or upvoted this
related HN threads · 1
Learn TLA+ (2018) 387 pts · 92 comments · Apr 2019 387 pts · 92 comments · Apr 2019
0 people saved or upvoted this