FaultRay: Why We Formalized Cascade Failure Propagation as a Labeled Transition System

FaultRay is an in-memory infrastructure resilience simulation tool that contributes two formal results — a cascade propagation LTS with proven termination and an N-layer min-composition availability model. Here is why those formalizations matter.