On 06.11.18 11:48, plaht...@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 .