Open Access

ARTICLE

A Co-Verification Interface Design for High-Assurance CPS

Yu Zhang^1,2,*, Mengxing Huang^1,2,*, Hao Wang³, Wenlong Feng^1,2, Jieren Cheng^1,2, Hui Zhou^1,2

1 State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China.
2 College of Information Science and Technology, Hainan University, Haikou, 570228, China.
3 Big Data Lab, Department of ICT and Natural Sciences, Norwegian University of Science and Technology, Postboks 1517, N-6025 Aalesund, Norway.

* Corresponding Author: Mengxing Huang. Email: ;
  Yu Zhang. Email: .