Thanks Jack, this is quite helpful. I will check them out.
On Tue, Feb 23, 2021 at 12:52 AM Jack Vanlightly
wrote:
> In terms of tools, thinking processes, setup... you really need to start by
> learning about TLA+. I couldn't explain how it changes your engineering
> mindset/workflow better tha
In terms of tools, thinking processes, setup... you really need to start by
learning about TLA+. I couldn't explain how it changes your engineering
mindset/workflow better than Leslie Lamport himself. So if you're
interested in this kind of thing then I highly recommend watching the TLA+
video cour
Awesome work Jack!
I haven't worked with formal verification but have always been interested.
Can you share the tools, thinking processes, setup etc that went into this?
On Mon, Feb 22, 2021 at 9:19 AM Jack Vanlightly
wrote:
> Hi all,
>
> I have written a TLA+ specification for the replication
Hi all,
I have written a TLA+ specification for the replication protocol. It models
the life of a single ledger and includes two writers, the original writer
that creates the ledger and a second writer that can at any point (or not)
start the recovery process.
It found one problem with the fencin
