Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Discuss the application of B7 tools in various phases of the DFTS process (see Figure 2.6 in Chapter 2).

Suggest three specific uses for each of the seven B7 tools in a software development process you are familiar with.