AN INVARIANT CHECKING METHOD AND APPARATUS USING BINARY DECISION DIAGRAMS IN COMBINATION WITH CONSTRAINT SOLVERS

Details for Australian Patent Application No. 2003247399 (hide)

Owner THE GOVERNMENT OF THE UNITED STATES OF AMERICA as represented by THE SECRETARY OF THE NAVY

Inventors BHARADWAJ, Ramesh; SIMS, Steve

Pub. Number AU-A-2003247399

PCT Number PCT/US03/16236

PCT Pub. Number WO2004/003727

Priority 10/180,043 27.06.02 US

Filing date 26 June 2003

Wipo publication date 19 January 2004

International Classifications

G06F 007/60 Methods or arrangements for processing data by operating upon the order or content of the data handled - Methods or arrangements for performing computations using a digital non-denominational number representation, i.e. number representation without radix

G06F 007/10 Methods or arrangements for processing data by operating upon the order or content of the data handled

Event Publications

2 October 2003 Complete Application Filed

  Priority application(s): 10/180,043 27.06.02 US

4 March 2004 Application Open to Public Inspection

  Published as AU-A-2003247399

7 April 2005 Application Lapsed, Refused Or Withdrawn, Patent Ceased or Expired

  This application lapsed under section 142(2)(f)/See Reg. 8.3(3). Examination has not yet been requested or directed for this application. Note that applications or patents shown as lapsed or ceased may be restored at a later date.

Legal

The information provided by the Site not in the nature of legal or other professional advice. The information provided by the Site is derived from third parties and may contain errors. You must make your own enquiries and seek independent advice from the relevant industry professionals before acting or relying on any information contained herein. Check the above data against the Australian Patent Office AUSPAT database.

Next and Previous Patents/Applications

2003247400-ANTISENSE MODULATION OF PTPRK EXPRESSION

2003247398-SYSTEMS, DEVICES AND METHODS FOR OPENING A BOTTLE SEALED WITH A STOPPER AND FOR SEALING A BOTTLE