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

Be the first to comment if anything wrong with this mcq
Your comment successfully submitted!
It will automatically posted after review and approval by our staff member.