[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How does TLC work?
On 06.11.18 11:48, plahtin...@xxxxxxxxxxxx wrote:
> Hi, could you advise me book or article about how TLC checks liveness
as background material read "Temporal Verification of Reactive Systems:
Safety" by Manna and Pnueli . A description of the actual
implementation is found at  and .