[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
problem in verifying liveness properties
I have a model and I tried to verify a set of liveness properties on it (I'm using the TLA toolbox on Ubuntu 12.04 (x86_64bits).
The problem is that TLC displays the status "Finishing computing initial states". And it does not progress (a screenshot is attached), knowing that when I verify invariants, TLC works correctly.
Is it normal?
Capture du 2015-12-16 13:19:47.png
Description: PNG image