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 Answer: C . They require the use of specialised notations that cannot be understood by domain experts 0Shares0 0