Select the disadvantage of using Formal methods ___________________?

A. All of the mentioned

B. They require the use of specialised notations that cannot be understood by domain experts

C. Producing a mathematical specification requires a detailed analysis of the requirements

D. Concurrent systems can be analysed to discover race conditions that might lead to deadlock

Found an error? Read our corrections policy and submit a sourced correction below. You can also share a useful explanation in your own words.

Discuss the answer or suggest a sourced correction
Thank you for contributing.
Your comment was submitted and will appear after editorial review.

Your email is used only for moderation and is never displayed. Spam, copied material and fabricated endorsements are rejected.