Download Docs
Export

METHOD AND APPARATUS FOR CUT-POINT FRONTIER SELECTION AND FOR COUNTER-EXAMPLE GENERATION IN FORMAL EQUIVALENCE VERIFICATION

10/898,574 | U.S. Patent Application

Interested in this case?

Request a Demo Track this case, and find millions of cases like it, let us show you how.
Location ELECTRONIC
Filed July 23, 2004
Examiner BINH C TAT
Class 716
Art Group 2851
Patent No. 7,159,201
Case Type Utility - 716/007000
Status Patent Expired Due to NonPayment of Maintenance Fees Under 37 CFR 1.362
Parent 10/291,287 Patented
Last Updated: 4 years, 2 months ago
Date # Transaction