Completed Projects

• 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