Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
possible execution paths of the concurrent program. Previously we mentioned the algorithm of making a database replica using dirty reads and replaying the transaction log. This algorithm does not look immediately obvious, so we apply Concuerror to verify it. Since Concuerror doesn’t support Erlang