reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Tobin Baker <>
Subject Re: Formal methods for REEF?
Date Thu, 14 Apr 2016 15:22:26 GMT
IIRC Alloy (and the protocol flaw in Chord it found), was the original
inspiration for using TLA+ at AWS :)
I believe that Chris Newcombe (now at Oracle Cloud) was the guy who
introduced TLA+ at AWS; not sure if he'd be allowed to talk about this ;)
If you haven't read the "Formal Methods at AWS" paper it's a good if
heavily censored read:

On Thu, Apr 14, 2016 at 6:05 AM, Dudoladov, Sergey <> wrote:

> > TLA+ seems like a framework for that sort of task.
> Alloy *may be* another option. Skim
> Regards,
> Sergey

  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message