Examveda

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: Option C


This Question Belongs to Computer Science >> Software Engineering

Join The Discussion

Related Questions on Software Engineering