This package contains analysis that are tuned towards concurrent systems.

If unspecified, then all reference parameters can be null.