The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 02, 2011
Filed:
Dec. 27, 2007
Ziv Glazberg, Jerusalem, IL;
Janees Elamkulam, Nilambur, IN;
Satish Chandra Gupta, Bangalore, IN;
Sandeep Kohli, Bangalore, IN;
Ishai Rabinovitz, Haifa, IN;
Ziv Glazberg, Jerusalem, IL;
Janees Elamkulam, Nilambur, IN;
Satish Chandra Gupta, Bangalore, IN;
Sandeep Kohli, Bangalore, IN;
Ishai Rabinovitz, Haifa, IN;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method and system are disclosed for modeling non-deterministic queues for efficient model checking. In this method and system, a multitude of messages are held in a plurality of queues, and these messages having n priorities. The method comprises the steps of providing (n+1) queues, including a first queue, and n priority queues; passing said messages from a source to the first queue; passing each of said messages from the first queue to one of said n priority queues based on the priority of the message; and passing each of said messages from the n priority queues to a destination based on the priority of the message. One or more non-deterministic waits are introduced into one or more of the passing steps to simplify passing the messages into or out of the n priority queues.