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?
via NoSQL databases