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

View Answer

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