Improved kcheck: proving disjoint parallel programs.
Improved kcheck.