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

Re: [tlaplus] How does TLC work?



thank you so much!

вторник, 6 ноября 2018 г., 23:13:17 UTC+3 пользователь Markus Alexander Kuppe написал:
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