reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Tobin Baker <tdba...@cs.washington.edu>
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:
http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/abstract

On Thu, Apr 14, 2016 at 6:05 AM, Dudoladov, Sergey <
sergey.dudoladov@tu-berlin.de> wrote:

> > TLA+ seems like a framework for that sort of task.
>
> Alloy *may be* another option. Skim http://alloy.mit.edu
>
> Regards,
> Sergey

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