Verifying Correctness of PLC Software during System Evolution using Model Containment Approach

Soumyadip Bandyopadhyay, Santonu Sarkar

Upgradation of Programmable Logic Controller (PLC) software is quite common to accommodate evolving industrial requirements. Verifying the correctness of such upgrades remains a si…