Automated Method for Evaluating the Correctness of Distributed Algorithms Using Chaos Engineering Testing | Synapse