News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

Re:Modeling Redux with TLA+ by gabuzome on Tuesday March 13, 2018 @06:37AM (#16575020)
Yes Lamport started and maintains TLA+. I found his hyperbook to be a good introduction to TLA+ and PlusCal. http://lamport.azurewebsites.net/tla/hyperbook.html
[ Parent | on HN ]

There are no comments on this comment yet.