Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. - Yongjian Li; Naiju Zeng; William N. N. Hung; Xiaoyu Song (Haifa Verification Conference, 2011)

Enhanced symbolic simulation of a round-robin arbiter. - Yongjian Li; Naiju Zeng; William N. N. Hung; Xiaoyu Song (ICCD, 2011)

Exploring structural symmetry automatically in symbolic trajectory evaluation. - Yongjian Li; William N. N. Hung; Xiaoyu Song; Naiju Zeng (Formal Methods Syst. Des., 2011)

A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. - Naiju Zeng; Wenhui Zhang (APSEC (1), 2013)

A Symbolic Partial Order Method for Verifying SystemC. - Naiju Zeng; Wenhui Zhang (APSEC (1), 2014)

An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. - Naiju Zeng; Wenhui Zhang (ICECCS, 2014)

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. - Yongjian Li; Naiju Zeng; William N. N. Hung; Xiaoyu Song (Comput. J., 2014)