@inproceedings{c8b0298ba8f84917ab6a68bad7be6b5c,
title = "Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems",
abstract = "It is important that the programmed logic controller(PLC), the heart of industrial control systems (ICS), is formally verified to ensure that its safety and security requirements are met. However, the combination of the strengths of two or more verification tools to verify tasks has yet to be fully explored, especially in verification of safety-critical programs such as PLC programs. In this paper, we apply cooperative verification techniques by building a verifier validator (using Symbiotic as a verifier and the CPA checker as a validator). We investigate the possibilities of preventing false positives in verification results and discover how effective and efficient the (verifier-validator) is when compared with a single verification tool. The results show that the verifier validator was able to discover 3 properties that were not properly verified by a single verification tool in a shorter time span.",
keywords = "Control Logic, Cooperative verification, Formal verification",
author = "Chibuzo Ukegbu and Hoda Mehrpouyan",
note = "Publisher Copyright: {\textcopyright} 2023 ACM.; 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 ; Conference date: 09-05-2023 Through 12-05-2023",
year = "2023",
month = may,
day = "9",
doi = "10.1145/3576914.3587490",
language = "English",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
pages = "37--42",
booktitle = "Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 - Workshops",
address = "United States",
}