Eine Java Bibliothek zur Zuverlässigkeitsanalyse komplexer Systeme
JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs). The library is platform-independent and licensed under LGPL (open source)