Verification of the Burst Send Queuing System Model for Parallel Programs