Fundamental Research for Trustworthy Software

This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues:

(i) measurement and modeling of software trustworthiness;

(ii) construction and verification of trustworthy software;

(iii) evolution and control of trustworthy software;

(iv) trusted environm...