[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] How to build Codeplex Tlaplus Tools?

On 09.03.2015 09:32, marc magrans de abril wrote:
> I'm not sure if I will have the time or the skill to make it happen.
> However, If I had both, I would like to fix the simulation issue with
> Liveness. Simulation is pretty useful when the state space is too big,
> even if incomplete.
> [...]
> In summary just ideas and a small amount of time.

Hi Marc,

in order to use your time most efficiently, consider following the
"mku-liveness" branch. It's where I'm working on TLC's liveness
implementation myself. I'd assume it is best if we even occasionally
touch base.