Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
indispensable in various fields such as software verification. By providing a canonical form for Boolean functions, BDDs enable precise and straightforward equivalence checking, a crucial advantage in optimization and verification tasks. The recursive nature of BDDs, underpinned by principles such