PV2 ⊧ SMT-PGFPScomputes a minimal cut set of a hypergraph
Application domain/field
Preliminary Safety Assessment (PSA)
Failure propagations
Minimal cut sets
Safety-critical systems
Internals
Uses MathSAT
They proposed a framework called: PGFDS (Propagation Graphs over Finite Degradation Structures). This framework allows to model non-deterministic and cyclic propagation graphs.