Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
it verifies that the process transitions to a correct next state. So how it is different from the traditional approach to testing state machines using stateful property-based testing? First of all, the model of the state machine is much simpler. We only specify the expected causal relationship