How does TLC work?
78 views
Skip to first unread message
plahtin...@phystech.edu
Nov 6, 2018, 2:48:05 PM11/6/18
to tla...@googlegroups.com
Hi, could you advise me books or articles about how TLC checks liveness properties?
Markus Kuppe
Nov 6, 2018, 3:13:17 PM11/6/18
to tla...@googlegroups.com
On 06.11.18 11:48, plahtin...@phystech.edu 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
> 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
plahtin...@phystech.edu
Nov 6, 2018, 3:17:48 PM11/6/18
to tlaplus
thank you so much!
вторник, 6 ноября 2018 г., 23:13:17 UTC+3 пользователь Markus Alexander Kuppe написал:
Reply all
Reply to author
Forward
0 new messages