On 06.11.18 11:48, plaht...@xxxxxxxxxxxx wrote:
> Hi, could you advise me book or article about how TLC checks liveness
> properties?
Hi,
as background material read "Temporal Verification of Reactive Systems:
Safety" by Manna and Pnueli [1]. A description of the actual
implementation is found at [2] and [3].
Cheers
Markus
[1] https://www.springer.com/us/book/9780387944593
[2] http://www.wischik.com/lu/research/verify-tla-report.pdf
[3] http://www.wischik.com/lu/research/verify-tla/talk- paged.html