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 *
