[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Symmetry and Liveness

From: Y2i <yur...@xxxxxxxxx>
Date: Sat, 6 Jun 2015 07:39:16 -0700 (PDT)
Cc: yur...@xxxxxxxxx
References: <af8807eb-54a0-48d8-9e0f-5f5e12e288e8@googlegroups.com> <059ec476-fd7c-466f-a2d0-2bdcba33116a@googlegroups.com>

Thank you so much Leslie! In addition to answering my question, this also gives a great summary of the TLC capabilities. Really appreciate the extra details!

Yuri

References:
- Symmetry and Liveness
  - From: Y2i
- Re: Symmetry and Liveness
  - From: Leslie Lamport

Prev by Date: Re: [tlaplus] BagOfAll? SetOfAll?
Next by Date: Error Trace Exploration
Previous by thread: Re: Symmetry and Liveness
Next by thread: TLC fingerprint value already on disk
Index(es):
- Date
- Thread