Wenhui Zhang

Wenhui Zhang.
Weak Well Founded Sets and Their Application to Formal Verification
Technical Report ISCAS-SKLCS-19-02, Institute of Software, Chinese Academy of Sciences. 2019.

Wenhui Zhang.
A Study of the Growth Rate of the Size of DPLL-Trees
Technical Report ISCAS-SKLCS-14-19, Institute of Software, Chinese Academy of Sciences. 2014.

Teng Long, Wenhui Zhang.
Proving Liveness Property under Strengthened Compassion Requirements
Technical Report ISCAS-SKLCS-12-01, Institute of Software, Chinese Academy of Sciences. 2012.

Wenhui Zhang.
Complexity Issues of Ternary Boolean Diagrams
Technical Report ISCAS-SKLCS-11-17, Institute of Software, Chinese Academy of Sciences. 2011.

Wenhui Zhang.
Bounded Semantics of CTL
Technical Report ISCAS-LCS-10-16, Institute of Software, Chinese Academy of Sciences. 2010.

Wenhui Zhang.
Ternary Boolean Diagrams
Technical Report ISCAS-LCS-10-24, Institute of Software, Chinese Academy of Sciences. 2010.

Teng Long, Wenhui Zhang.
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems
(A revised version of) Technical Report ISCAS-LCS-09-03, Institute of Software, Chinese Academy of Sciences. 2009.

Wenhui Zhang.
Bounded Semantics of CTL and SAT-based Verification
Technical Report ISCAS-LCS-09-01, Institute of Software, Chinese Academy of Sciences. 2009.

Wenhui Zhang.
Weak Bounded Semantics and Bounded Verification of LTL Formulas
Technical Report ISCAS-LCS-08-36, Institute of Software, Chinese Academy of Sciences. 2008.

Jin Yi, Wenhui Zhang.
Efficient State Space Reduction for Automata by Fair Simulation.
Technical Report ISCAS-LCS-07-01, Institute of Software, Chinese Academy of Sciences. 2007.

Wenhui Zhang.
Proving Normal Form Formulas by Clause Expansion
Technical Report ISCAS-LCS-03-09, Institute of Software, Chinese Academy of Sciences. 2003.