Q
Select the disadvantage of using Formal methods ___________________?
-
A
A. Concurrent systems can be analysed to discover race conditions that might lead to deadlock
-
B
B. Producing a mathematical specification requires a detailed analysis of the requirements
-
C
C. They require the use of specialised notations that cannot be understood by domain experts
-
D
D. All of the mentioned
Correct Answer:
C. C. They require the use of specialised notations that cannot be understood by domain experts
