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
Explanation: Formal methods are the ultimate static verification technique that may be used at different stages in the development process.
Related Posts
Which of these constructors is used to create an empty String object?
Which of these method of class String is used to extract a single character from a String object?
Which of this method of class String is used to obtain a length of String object?
Which of these operators can be used to concatenate two or more String objects?
Which of these class is superclass of String and StringBuffer class?
Does Java support multiple level inheritance?
What would be the result if a class extends two interfaces and both have a method with same name and signature? Lets assume that the class is not implementing that method.
Join The Discussion