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
Correct Answer: They require the use of specialised notations that cannot be understood by domain experts ✔
Last Updated: February 04, 2019