Which of the following is possible to locate errors in the specification of the future bus protocol?

• A. EMC
• B. HOL
• C. BDD
• D. FOL