An approach that verifies behavioral containment between old and new versions of PLC software by translating Sequential Function Charts into Petri nets and comparing symbolic execution paths.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
An approach that verifies behavioral containment between old and new versions of PLC software by translating Sequential Function Charts into Petri nets and comparing symbolic execution paths.