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
Share this... |
Facebook
|
Twitter
|
Linkedin
|
Whatsapp
|
Your email address will not be published. Required fields are marked *