3 ms·
Woot! We had a crack at a formally specified networking component 30 years ago, and it was hard in part because the tools were lacking or hard themselves to re
by DamonHD 9y ago
Woot!
We had a crack at a formally specified networking component 30 years ago, and it was hard in part because the tools were lacking or hard themselves to reason about. Tried to move to simpler logics but in effect ran out of time. Actually, our funder ran out of money and keeled over...
- nickpsecurity 9y agoThings are getting better if you go to model-checking. Check out this TLA+ tutorial that covers interesting use-cases: https://learntla.com/introduction/ https://learntla.com/introduction/
- DamonHD 9y agoThank you.