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
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
Static analysis is now routinely used in the development of many safety and security critical systems?
A. True
B. False
ExpLanation: the static analyzer can discover areas of vulnerability such as buffer overflows or unchecked inputs