Skip to main content

Table 6 State expressions of Invariant #1 for SWaT

From: Deriving invariant checkers for critical infrastructure using axiomatic design principles

State expression Label
!MV-101 and !LIT-101 Anomaly
!MV-101 and LIT-101 No anomaly
MV-101 and !LIT-101 No anomaly
MV-101 and LIT-101 Anomaly