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.
Formal semantics and analysis of multitask PLC ST programs with preemption
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
method 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
method 1polarities
use method 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.