软件可信性基础研究概述，及这个重大研究计划的综述。