Verification of Queues

- queue.mod