Binary Decision Diagrams for Reliability Studies

Abstract

Bryant’s binary ecision diagrams are state-of-the-art data structures used to encode and to manipulate Boolean functions. Risk and dependability studies are heavy consumers of Boolean functions, for the most widely used modeling methods, namely fault trees and...