Zijiang Yang

Person

Northville, MI, US

People

Patents Grantslast 30 patents

Information Patent Grant
Software verification using range analysis
- Patent number 8,131,532
- Issue date Mar 6, 2012
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reachability analysis for program verification
- Patent number 7,926,039
- Issue date Apr 12, 2011
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Iterative abstraction using SAT-based BMC with proof analysis
- Patent number 7,742,907
- Issue date Jun 22, 2010
- NEC Laboratories America, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient approaches for bounded model checking
- Patent number 7,711,525
- Issue date May 4, 2010
- NEC Corporation
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Disjunctive image computation for sequential systems
- Patent number 7,693,690
- Issue date Apr 6, 2010
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for modeling, abstraction, and analysis of software
- Patent number 7,346,486
- Issue date Mar 18, 2008
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient distributed SAT and SAT-based distributed bounded model c...
- Patent number 7,203,917
- Issue date Apr 10, 2007
- NEC Laboratories America, Inc.
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
SAT-based image computation with application in reachability analysis
- Patent number 6,728,665
- Issue date Apr 27, 2004
- NEC Corporation
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partition-based decision heuristics for SAT and image computation u...
- Patent number 6,651,234
- Issue date Nov 18, 2003
- NEC Corporation
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic detection and removal of inactive clauses in SAT with appli...
- Patent number 6,496,961
- Issue date Dec 17, 2002
- NEC USA, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Trace-Driven Verification of Multithreaded Programs Using SMT-Based...
- Publication number 20130283101
- Publication date Oct 24, 2013
- The Regents of the University of Michigan
- Zijiang Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATIONS
- Publication number 20090089783
- Publication date Apr 2, 2009
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REACHABILITY ANALYSIS FOR PROGRAM VERIFICATION
- Publication number 20080016497
- Publication date Jan 17, 2008
- NEC LABORATORIES AMERICA
- Chao WANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Disjunctive image computation for sequential systems
- Publication number 20070044084
- Publication date Feb 22, 2007
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE VERIFICATION USING RANGE ANALYSIS
- Publication number 20060282806
- Publication date Dec 14, 2006
- NEC Laboratories America, Inc.
- Srihari CADAMBI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for modeling, abstraction, and analysis of software
- Publication number 20050166167
- Publication date Jul 28, 2005
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Iterative abstraction using SAT-based BMC with proof analysis
- Publication number 20040230407
- Publication date Nov 18, 2004
- NEC LABORATORIES AMERICA, INC
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient distributed SAT and SAT-based distributed bounded model c...
- Publication number 20040210860
- Publication date Oct 21, 2004
- NEC LABORATORIES AMERICA, INC
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient approaches for bounded model checking
- Publication number 20030225552
- Publication date Dec 4, 2003
- NEC Corporation
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partition-based decision heuristics for SAT and image computation u...
- Publication number 20020178424
- Publication date Nov 28, 2002
- NEC USA, INC.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic detection and removal of inactive clauses in sat with appli...
- Publication number 20020053064
- Publication date May 2, 2002
- NEC USA, INC.
- Aarti Gupta
- G01 - MEASURING TESTING

Zijiang Yang

Person

Patents Grantslast 30 patents

Software verification using range analysis

Reachability analysis for program verification

Iterative abstraction using SAT-based BMC with proof analysis

Efficient approaches for bounded model checking

Disjunctive image computation for sequential systems

System and method for modeling, abstraction, and analysis of software

Efficient distributed SAT and SAT-based distributed bounded model c...

SAT-based image computation with application in reachability analysis

Partition-based decision heuristics for SAT and image computation u...

Dynamic detection and removal of inactive clauses in SAT with appli...

Patents Applicationslast 30 patents

Trace-Driven Verification of Multithreaded Programs Using SMT-Based...

PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATIONS

REACHABILITY ANALYSIS FOR PROGRAM VERIFICATION

Disjunctive image computation for sequential systems

SOFTWARE VERIFICATION USING RANGE ANALYSIS

System and method for modeling, abstraction, and analysis of software

Iterative abstraction using SAT-based BMC with proof analysis

Efficient distributed SAT and SAT-based distributed bounded model c...

Efficient approaches for bounded model checking

Partition-based decision heuristics for SAT and image computation u...

Dynamic detection and removal of inactive clauses in sat with appli...