Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
formal proof, but it requires careful design of both business logic and the testcases. Concuerror supports most of the Erlang features with some exceptions, so the application code sometimes needs to work around these limitations. Also, the time and memory complexity of the model grows