Explore projects
-
XFTA is a powerful and efficient calculation engine for fault trees and related models.
Updated -
Bit-array backed Binary Decision Diagram solver
Updated -
C++ implementation of the DEPM algorithm
archived 2Updated
XFTA is a powerful and efficient calculation engine for fault trees and related models.
Bit-array backed Binary Decision Diagram solver
C++ implementation of the DEPM algorithm