I wouldn't consider this "industry," but they're used in some classes at CMU for program verification of student's assignments. The canonical example is 15-213

I wouldn't consider this "industry," but they're used in some classes at CMU for program verification of student's assignments. The canonical example is 15-213 (Intro Computer Systems). That class was also created by Dr. Randall Bryant, who (I believe) invented BDD's.