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

| | bookmark | email

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 high level of confidence, that the system will behave as needed? Can there be a formal proof that the design of the system satisfies the requirements?

tags:distributed systems

via NoSQL databases