Testing, Erlang, Elixir, Quickcheck.
that can be executed in different sequences and conflict with each other. So, if you’re writing a system where, as stated in the book… “what the code should do” — what the user perceives — is simple, but “how the code does it” — how it is implemented — is complex. …then you’ll get a lot of benefits