____ methods help programmers apply rigorous logical and mathematical models to software design, coding, testing, and verification.
A) Threat
B) Local
C) Formal
D) Mitigation

Question

Quizplus · Accepted Answer

Formal methods are used to apply mathematical and logical models to software design, coding, testing, and verification. This helps to ensure that the software is reliable and free from defects. Threat, Local, and Mitigation are not related to formal methods.

____ Methods Help Programmers Apply Rigorous Logical and Mathematical Models