[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? 

Thank you, 

Attachment: Capture du 2015-12-16 13:19:47.png
Description: PNG image