Trustworthiness measure and evaluation techniques and tools for INTERNETWARE,
supported by the 863 High Technology Research Development Projects, 2012-2014
Software trustworthiness measure and evaluation based on program analysis, testing and verification,
supported by the National Natural Science Foundation of China, 2009-2012
Program analysis, testing and verification tool suite for software trustworthiness measure and evaluation,
supported by the 863 High Technology Research Development Projects, 2007-2010
Automated formal verification for software,
supported by the National Natural Science Foundation of China, 2005-2008
Timing analysis of scenario-based specifications,
supported by Jiangsu Province Research Foundation, 2004-2006
Key techniques for model checking of real-time and hybrid systems,
supported by the 863 High Technology Research Development Projects, 2001-2003
Formal verification of network protocol,
supported by Jiangsu Province Research Foundation, 2001-2003
Compositional model checking of real-time and hybrid systems,
supported by the National Natural Science Foundation of China, 2001-2003
Model checking algorithms and tools for real-time and hybrid system,
supported by the 863 High Technology Research Development Project, 1998-2000
Model checking of real-time and hybrid systems,
supported by the National Natural Science Foundation of China, 1998-2000