Toward `verifying' a Water Treatment System

Jingyi Wang, Jun Sun, Yifan Jia +2

Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report o…