Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T16:26:48.067327Z
Paper Citation Record · LEDGER
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
As of 19 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2509.05596.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
64 of 64 outbound references displayed
- verified exact2
- verified fuzzy55
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e72904a9-2366-42b7-a51e-22251b625385 · outbound
This paper cites Equiva- lence checking of petri net models of programs using static and dynamic cut-points.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Equiva- lence checking of petri net models of programs using static and dynamic cut-points
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.757387Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 31f4d86d-177a-45c5-98ef-02530944679a · outbound
This paper cites Mandal, Kunal Banerjee, and Krishnam Raju Duddu.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Mandal, Kunal Banerjee, and Krishnam Raju Duddu
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.746868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 525dca12-cb27-4855-909b-eb04585ace65 · outbound
This paper cites Re- searching evolution in industrial plant automation: Scenarios and documentation of the pick and place unit, 01 2014.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Re- searching evolution in industrial plant automation: Scenarios and documentation of the pick and place unit, 01 2014
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.736787Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d4833b69-2f8e-441f-af0b-5be07a2cb016 · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T16:26:48.725969Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0ea1fd2d-262d-483b-9d2d-567212f8daa3 · outbound
This paper cites Proving equivalence between control software variants for pro- grammable logic controllers.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Proving equivalence between control software variants for pro- grammable logic controllers
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.713874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 534ad08a-9609-4f30-be2d-00ee2a95e956 · outbound
This paper cites A unifying semantics for sequential function charts.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach A unifying semantics for sequential function charts
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.702720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2bc31883-9332-4499-8820-ccb7904c9166 · outbound
This paper cites Formal semantics and analysis of multitask PLC ST programs with preemption.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Formal semantics and analysis of multitask PLC ST programs with preemption
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.692484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 47f7cb32-2342-477f-9f0e-5c24de55654c · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T16:26:48.682365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a81b1610-7cd6-4f1c-8234-dec77e287664 · outbound
This paper cites Mathematical theory of partial correctness.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Mathematical theory of partial correctness
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.672012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0e9a4b96-f1c1-400f-a998-933679df74ff · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T16:26:48.661311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 83527a98-ec47-471f-b6aa-be841b826dc8 · outbound
This paper cites Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, and Lenore D.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, and Lenore D
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.651743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0e4c072f-4649-4f6d-bd2b-9de50e2be428 · outbound
This paper cites Rinard and P.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Rinard and P
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.641620Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ec8b7378-d527-401c-a712-2b468e1e6837 · outbound
This paper cites Wisniewski, I.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Wisniewski, I
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.629091Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 51c116e6-439b-4dd6-9de8-43e3fbffee68 · outbound
This paper cites McMillan.Symbolic model checking.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach McMillan.Symbolic model checking
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.617804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 54e6f55e-9aaa-4399-a88b-4dd4020281cc · outbound
This paper cites Regression verification for programmable logic controller software.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Regression verification for programmable logic controller software
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.608005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ae1c526b-a6fc-4e45-a4ae-b6b38e472180 · outbound
This paper cites Lynch, and Eric Feron.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Lynch, and Eric Feron
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.598126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 22036836-6649-4a09-856e-4f1481a81173 · outbound
This paper cites Modeling and verification of safety-critical sys- tems using safecharts.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Modeling and verification of safety-critical sys- tems using safecharts
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.588547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 206a35c6-3baa-4a36-a69d-ef229ca64ed6 · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T16:26:48.578500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation de950db2-66d1-486f-be5f-8893a77d8c50 · outbound
This paper cites Controller synthesis for linear system with reach-avoid specifications.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Controller synthesis for linear system with reach-avoid specifications
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.568369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 509475d9-2314-4c53-a0c9-5a214ee5e369 · outbound
This paper cites Multi-agent safety verification using symmetry transformations.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Multi-agent safety verification using symmetry transformations
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.558212Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 214cc092-6707-415a-a1e9-bf4e2c306880 · outbound
This paper cites Verification of sequential func- tion charts using smv.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Verification of sequential func- tion charts using smv
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.547631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 24afb96f-6a27-4e86-8ed7-900f30e0153a · outbound
This paper cites Niang, B.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Niang, B
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.537715Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ee630874-8b09-4f58-8c7f-98ed10aee01f · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T16:26:48.526847Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9b86ca3e-93f1-4141-8062-d033823a63f4 · outbound
This paper cites An fmi-based initial- ization plugin for INTO-CPS maestro 2.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach An fmi-based initial- ization plugin for INTO-CPS maestro 2
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.516622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0708d1da-f6e0-4004-b78d-de86e7d4a519 · outbound
This paper cites Semantic adaptation for FMI co- simulation with hierarchical simulators.Simul., 95(3), 2019.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Semantic adaptation for FMI co- simulation with hierarchical simulators.Simul., 95(3), 2019
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.506192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 596efc77-8919-416b-8dda-9eb7a775eb53 · outbound
This paper cites PhD thesis, University of Antwerp, Belgium, 2019.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach PhD thesis, University of Antwerp, Belgium, 2019
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.495642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2a147855-5937-4800-ab34-b5050fcf378e · outbound
This paper cites Springer Berlin Heidelberg, Berlin, Heidelberg, 2004.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Springer Berlin Heidelberg, Berlin, Heidelberg, 2004
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.485682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation eaf9d42e-d64f-4862-83f5-726b5d5c8cdd · outbound
This paper cites Modeling error propagation in a modular plant.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Modeling error propagation in a modular plant
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.475410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8c2a8995-030d-4385-9ed2-04177f0e77d6 · outbound
This paper cites Rossi, Jean-Jacques Lesage, and Jean-Marc Roussel.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Rossi, Jean-Jacques Lesage, and Jean-Marc Roussel
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.464527Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 42d44db2-3817-4fe2-a8a2-0f375a45ef3d · outbound
This paper cites Automatic test case generation for plc pro- grams using coverage metrics.2015 IEEE 20th Conference on Emerging Technolo- gies & Factory Automation (ETFA), pages 1–4, 2015.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Automatic test case generation for plc pro- grams using coverage metrics.2015 IEEE 20th Conference on Emerging Technolo- gies & Factory Automation (ETFA), pages 1–4, 2015
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.454468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0b028bd5-5c74-4338-bcab-cabb32fee690 · outbound
This paper cites B S I Standards, 2002.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach B S I Standards, 2002
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.444467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 52fa5ff8-7218-4395-a95d-520bd06a9614 · outbound
This paper cites Tournier, B.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Tournier, B
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.434644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 74e2d7e7-0525-4b6f-be9e-aaad1285de2d · outbound
This paper cites Model-based verification of plc programs using simulink design.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Model-based verification of plc programs using simulink design
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.424778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e45909a7-8fdd-4b11-9a4a-7957d8fe5733 · outbound
This paper cites Cooperative verification of plc programs using coveriteam: Towards a reliable and secure industrial control systems.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Cooperative verification of plc programs using coveriteam: Towards a reliable and secure industrial control systems
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.414270Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7252286c-9bbc-4a7e-965d-5225b42a9220 · outbound
This paper cites Filkorn, M.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Filkorn, M
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.404247Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f6156f79-fbb8-4a48-b6e8-88ff83b34af5 · outbound
This paper cites Combinational model- checking of plc programs’ verification based on instructions.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Combinational model- checking of plc programs’ verification based on instructions
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.394771Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3bbf1195-4b4e-4472-9d52-62751af6e1c3 · outbound
This paper cites An overview of model checking practices on verification of plc software.Softw.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach An overview of model checking practices on verification of plc software.Softw
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.384172Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8509591d-2e75-4165-90cc-1a44fde36426 · outbound
This paper cites Work in progress - model-check PLC programs: Towards a efficient formalization ap- proach.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Work in progress - model-check PLC programs: Towards a efficient formalization ap- proach
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.374489Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9e753309-ae33-4197-b4f8-51287a6fff51 · outbound
This paper cites Safe programming of plc using formal verification methods.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Safe programming of plc using formal verification methods
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.364642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5ec1cc66-1b33-49ea-81fc-7070f26befa5 · outbound
This paper cites Cooperative verification of PLC programs using coveriteam: Towards a reliable and secure industrial control systems.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Cooperative verification of PLC programs using coveriteam: Towards a reliable and secure industrial control systems
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.354522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d6626aed-07d7-4874-8f8e-b40fd4eebabb · outbound
This paper cites Generalised test tables: A practical specification language for reactive systems.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Generalised test tables: A practical specification language for reactive systems
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.345099Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation af15d218-1f41-4ea7-ad6c-8db8273236b4 · outbound
This paper cites A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T16:26:48.118494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 634ee5d4-33cd-4ad6-8e6e-90cdfaf5fbca · outbound
This paper cites Verification of PLC properties based on formal semantics in coq.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Verification of PLC properties based on formal semantics in coq
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.334881Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 48102fc3-63ca-4960-a7bb-1e366c29db07 · outbound
This paper cites On Formal Reasoning on the Semantics of PLC using Coq.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach On Formal Reasoning on the Semantics of PLC using Coq
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T16:26:48.104071Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 256a9a65-b933-41f5-82c2-bf49625496d8 · outbound
This paper cites Springer US, Boston, MA, 2000.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Springer US, Boston, MA, 2000
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.325243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation eb330351-1536-4b02-bf7b-424e4d86e9bf · outbound
This paper cites Equivalence checking of static affine programs using widening to handle recurrences.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Equivalence checking of static affine programs using widening to handle recurrences
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.315158Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 59bf9a67-4055-4ec0-af64-ff9c57a8f451 · outbound
This paper cites Black-box equivalence checking across compiler optimizations.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Black-box equivalence checking across compiler optimizations
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.304679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 80bfe23d-22de-4e83-b240-f2ad564b8c03 · outbound
This paper cites Automatic generation of debug headers through blackbox equiva- lence checking.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Automatic generation of debug headers through blackbox equiva- lence checking
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.294408Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0e694038-b058-4a56-be54-4b40a6919467 · outbound
This paper cites Validating high-level synthesis.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Validating high-level synthesis
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.283804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6c8689c5-2de8-454c-b9de-5d1104e7f11b · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T16:26:48.272733Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2f40a40d-f983-48b4-9f7e-383466424c15 · outbound
This paper cites Ardiff: scaling program equivalence checking via iterative abstraction and refinement of common code.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Ardiff: scaling program equivalence checking via iterative abstraction and refinement of common code
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.262192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 400bc05a-9139-4f70-869c-771c01f48c7d · outbound
This paper cites Semantic code refactoring for abstract data types.Proc.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Semantic code refactoring for abstract data types.Proc
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.251588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5484addc-9c56-49a2-9ac4-b484b242adac · outbound
This paper cites Data-driven equivalence checking.SIGPLAN Not., 48(10):391–406, October 2013.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Data-driven equivalence checking.SIGPLAN Not., 48(10):391–406, October 2013
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.241048Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 58b2bb45-f5de-4631-9e9d-b6ee222dd5fd · outbound
This paper cites Effective use of smt solvers for program equivalence checking through invariant-sketching and query-decomposition.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Effective use of smt solvers for program equivalence checking through invariant-sketching and query-decomposition
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.230129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e1b0f2d9-45b0-4d2d-bef5-f7c575860251 · outbound
This paper cites Client-specific equivalence checking.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Client-specific equivalence checking
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.219446Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1becce26-d304-4c4f-ad5b-4e0ea1180a94 · outbound
This paper cites Semantic pro- gram alignment for equivalence checking.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Semantic pro- gram alignment for equivalence checking
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.201820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 48d8f805-ecb8-4c8c-a877-81ad9a1edd5a · outbound
This paper cites Eqbench: A dataset of equivalent and non- equivalent program pairs.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Eqbench: A dataset of equivalent and non- equivalent program pairs
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.191503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 85697e86-5efc-4088-8708-7cd496c87670 · outbound
This paper cites Verification of behavioural elements of uml models using b.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Verification of behavioural elements of uml models using b
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.181519Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 34d4dacc-56bd-4af9-83df-b1ca90ec1a22 · outbound
This paper cites Con- sistency in UML and B multi-view specifications.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Con- sistency in UML and B multi-view specifications
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.171544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ba30943f-eb83-471b-88ed-dc6680eee46d · outbound
This paper cites Towards the formal verification of sysml v2 models.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Towards the formal verification of sysml v2 models
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.161490Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d6cb8d39-fb59-4306-9e68-869a7709b71b · outbound
This paper cites Hardware behavioural modelling, verification and synthesis with uml 2.x activity diagrams.IFAC Pro- ceedings Volumes, 45(7):134–139, 2012.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Hardware behavioural modelling, verification and synthesis with uml 2.x activity diagrams.IFAC Pro- ceedings Volumes, 45(7):134–139, 2012
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.150608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1e24afc6-0ed6-4845-877e-d71a311db668 · outbound
This paper cites Integration of modeling and verification for system model based on karma language.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Integration of modeling and verification for system model based on karma language
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.140283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4ba41ae1-7e1e-44d2-94cc-811fec923a0e · outbound
This paper cites Verification of nonblocking- ness in bounded petri nets with a semi-structural approach.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Verification of nonblocking- ness in bounded petri nets with a semi-structural approach
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T16:26:48.129793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 82327f49-791f-487a-9bd6-429e4864b75a · outbound
This paper cites an unresolved cited work.
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach Unresolved cited work
Reference 2018
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T16:26:48.039212Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.