Question

Which formal verification technique consists of a Boolean formula?

(a) HOL

(b) FOL

(c) Propositional logic

(d) Both HOL and FOL

This question was addressed to me by my college professor while I was bunking the class.

This key question is from Formal Verification in section Validation of Embedded Systems

Answer 1

Right option is (c) Propositional logic

Easy explanation: The propositional logic technique is having the boolean formulas and the boolean function. The tools used in propositional logic is the tautology checker or the equivalence checker which in turn uses the binary decision diagrams which are also known as BDD.