Through this scheme, system functions were verified by adaptively selecting appropriate techniques according to classified functional properties.

• 该协同验证方法所依据的策略是：特定的功能特性采用特定的验证技术更有效。