Skip to main content

Table 8 State expressions of Invariant #3 for SWaT

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

State Expression Label
!LIT-301 and !MV-201 and !P-101 and !P-102 Anomaly
!LIT-301 and !MV-201 and (!P-101 or P-102) Anomaly
!LIT-301 and !MV-201 and (P-101 or !P-102) Anomaly
!LIT-301 and !MV-201 and P-101 and P-102 Anomaly
!LIT-301 and MV-201 and !P-101 and !P-102 Anomaly
!LIT-301 and MV-201 and (!P-101 or P-102) No anomaly
!LIT-301 and MV-201 and (P-101 or !P-102) No anomaly
!LIT-301 and MV-201 and P-101 and P-102 Anomaly
LIT-301 and !MV-201 and !P-101 and !P-102 No anomaly
LIT-301 and !MV-201 and (!P-101 or P-102) Anomaly
LIT-301 and !MV-201 and (P-101 or !P-102) Anomaly
LIT-301 and !MV-201 and P-101 and P-102 Anomaly
LIT-301 and MV-201 and !P-101 and !P-102 Anomaly
LIT-301 and MV-201 and (!P-101 or P-102) Anomaly
LIT-301 and MV-201 and (P-101 or !P-102) Anomaly
LIT-301 and MV-201 and P-101 and P-102 Anomaly