A Survey on Applications of Formal Methods in Analysis of SCADA Systems.

Mihael Marovic Ante Derek Stjepan Gros

Published in: CRITIS (2021)

Keyphrases

formal methods
formal analysis
formal specification
model checking
data analysis
control system
knowledge based systems
safety critical
artificial intelligence
information systems
temporal logic
supervisory control