Q675
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
AnswerD.
All of the mentioned
Answer: Option C
Solution
Answer: Option C
No explanation is given for this question Let's Discuss on Board