Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
between the state transitions as a pure function operating on a list of historical events. Execution of the testcase and verifying the properties are untangled. The state machine runs inside a fully assembled application, together with its supervision tree, instead of a simulated environment