Verification of an off-line checker for priority queues | IEEE Conference Publication | IEEE Xplore