Question

Select the disadvantage of using Formal methods

(a) Concurrent systems can be analysed to discover race conditions that might lead to deadlock

(b) Producing a mathematical specification requires a detailed analysis of the requirements

(c) They require the use of specialised notations that cannot be understood by domain experts

(d) All of the mentioned

I got this question in quiz.

My doubt stems from Dependability and Security Assurance topic in division Dependability and Security of Software Engineering

Answer 1

Correct option is (c) They require the use of specialised notations that cannot be understood by domain experts

Easiest explanation: Formal methods are the ultimate static verification technique that may be used at different stages in the development process.