[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Is it possible to TLA+ (and PlusCal) to check complex models?
On 24.02.2017 23:19, Hillel Wayne wrote:
> IIRC liveness checking only uses a single core, because it has to track
technically, liveness checking - among other things - searches for
strongly connected components. TLC uses Tarjan's algorithm , which is