
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...
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...