[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Invalid counter-example with Liveness checking
- From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
- Date: Fri, 27 Mar 2015 13:28:20 +0100
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0
I'm working on a TLC bug  where it reports an invalid counter-example
with Liveness checking. If anybody has specs/models that exhibit this
bug, please share them with me.
If you do, please indicate if you agree to make the spec available at
the TLC source repository  under MIT  or if I should keep it private.