Select the disadvantage of using Formal methods ___________________?

Dependability and Security 10/12/2021

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

Related Mcqs:

    An assessment of the worst possible damage that could result from a particular hazard is known as _________________?
    A. Risk B. Hazard probability C. Hazard severity D. Mishap...
    Consider a case where the failure of the system causes damage to the system itself or it data. What type of failure is being described here ?
    A. Loss of service B. Incorrect service delivery C. System/data corruption D. None of the mentioned...
    Which of the following is a layer of protection for Security ?
    A. Platform-level protection B. Application-level protection C. Record-level protection D. All of the mentioned...
    What are security controls ?
    A. Controls that are intended to ensure that attacks are unsuccessful B. Controls that are intended to detect and repel attacks C. Controls that are intended to support recovery from problems D. All of the mentioned...
    Which level of Static Analysis allows specific rules that apply to a program to be checked ?
    A. Characteristic error checking B. User-defined error checking C. Assertion checking D. All of the mentioned...

Leave a Reply

Your email address will not be published. Required fields are marked *