[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
Hi,
I'm working on a TLC bug [1] 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 [2] under MIT [3] or if I should keep it private.
Thanks
Markus
[1] http://tlaplus.codeplex.com/workitem/8
[2] https://tlaplus.codeplex.com/SourceControl/latest
[3] https://tlaplus.codeplex.com/license