Which of the following is a popular system for model checking?

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