• Precise design: Use of Formal Methods at Amazon Web Services

  There are various aspects that must be considered when building a distributed system: fault-tolerance, replication, consistency, concurrency, etc. Combining algorithms and solutions to address these requirements increases the complexity of the system. Is there a way to prove, reliably and with a…