US Patent 7711525 Efficient approaches for bounded model checking
Patent 7711525 was granted and assigned to NEC Corporation on May, 2010 by the United States Patent and Trademark Office.
Is a
Date Filed
May 30, 2002
0
Date of Patent
May 4, 2010
0
Patent Application Number
10157486
0
Patent Inventor Names
Zijiang Yang
0
Lintao Zhang
0
Malay Ganai
0
Pranav Ashar
0
Aarti Gupta
0
Patent Jurisdiction
Patent Number
Patent Primary Examiner
Find more entities like US Patent 7711525 Efficient approaches for bounded model checking
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
