Which formal verification technique consists of a Boolean formula?

• A. HOL
• B. FOL
• C. Propositional logic
• D. Both HOL and FOL