[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TLA+ for beginners
On Friday, November 25, 2016 at 5:12:17 AM UTC-8, Abay Kozhabergenov wrote:
So, can you help how to begin the model checking and the formal proof for my case in TLA+, please?
Good tutorial will be very useful.
You may want to look at  and . There are also some posts in this Google group with relevant comments that
can be found by searching for "real time" at the top, for example .
 Ch.9 in the TLA+ book, https://research.microsoft.com/en-us/um/people/lamport/tla/book.html