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

Re: [tlaplus] Re: Ideas for model-checking probabilistic consensus systems?

From: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Mon, 10 Dec 2018 16:56:29 -0800
References: <ccad7213-a26e-43e0-97bc-f55b83612c82@googlegroups.com> <65555a60-399b-42fe-971f-2080c2bf9f76@googlegroups.com>

On 10.12.18 15:07, Leslie Lamport wrote:
> I'm not sure if that module is in the current release; you might have
> to download the nightly build to get it.

The 1.5.7 release includes the Randomization module.

Markus

References:
- Ideas for model-checking probabilistic consensus systems?
  - From: Andrew Helwer
- Re: Ideas for model-checking probabilistic consensus systems?
  - From: Leslie Lamport

Prev by Date: Re: Ideas for model-checking probabilistic consensus systems?
Next by Date: TwoPhase refinement of TCommit in Agda : Some thoughts.
Previous by thread: Re: Ideas for model-checking probabilistic consensus systems?
Next by thread: [tlaplus] Re: Ideas for model-checking probabilistic consensus systems?
Index(es):
- Date
- Thread