A brief introduction to Binary Decision Diagrams

This paper aims to be a brief introduction to Binary Decision Diagrams and some of their uses in the reliability analysis framework. It is a computer scientist look on that question, i.e. it focuses on data structures and algorithms. It tries to give an overview of implementation issues at an abstract level. Basic algorithms are reviewed while recent developments are only mentioned.