填空题   软件安全检测技术中，定理证明属于软件______安全检测技术。