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.
Equiva- lence checking of petri net models of programs using static and dynamic cut-points
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
extension 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
extension 1polarities
extend 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.