Seminar paper from the year 2019 in the subject Computer Science - Commercial Information Technology, grade: 1,0, University of Kaiserslautern, language: Englis

Fault Tree is a well-known way of expressing failure combinations of a system. The Fault Tree analysis process, however, is computationally expensive and time c

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar·y Decision Diagmms (BDDs) have become the state-of-the-art data

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale i