The concurrency extension aims to make Dialyzer capable of
detecting concurrency errors in Erlang programs. It has already been
extensively tested with race condition detection and is currently
being extended with deadlock detection and tracking of Erlang
messages.
Click on an application name on the bar on the left to see the new
warnings for it.