Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
model checking, formal verification, and synthesis of digital circuits. In model checking, BDDs are used to represent the state space of the system being verified. Unlike traditional methods that enumerate each possible state, BDDs allow the entire state space to be represented and manipulated as a