Testing, Erlang, Elixir, Quickcheck.
is easier than coming up with general properties yourself) or some other properly written specification. Another thing that makes the use of properties easier is having complementary functionality (like encoding/decoding) so that you can write symmetric properties. Complex Algorithms This is, at