Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
to the operational framework of BDDs, allowing for the efficient representation and manipulation of Boolean functions. They enable the decomposition of complex functions into manageable subfunctions and the evaluation of functions under specific variable assignments, contributing significantly to