With more than 15 years of experience in Erlang programming, Hans Svensson is a specialist in model checking for concurrent…