PV2 ⊧ computes a minimal cut set of a hypergraph

SMT-PGFPS

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.