Paper Citation Record · LEDGER

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis

As of 23 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2607.08417.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.08417 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-10T07:47:07.727047Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact15
verified fuzzy8
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch6

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4067efc6-06fc-4ab4-9667-ff87763a7ecc · outbound

This paper cites Berkay Celik, and Dongyan Xu.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Berkay Celik, and Dongyan Xu

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.678473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 85b9c0f2-aa3c-409e-9e27-87d676d1e136 · outbound

This paper cites URLhttps://dl.acm.org/doi/10.5555/3698900.3699269.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis URLhttps://dl.acm.org/doi/10.5555/3698900.3699269

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-07-10T07:56:57.755350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 29c58a79-8c2e-475c-9fc0-7e51755cf5aa · outbound

This paper cites Arcade.plc: a verification platform for programmable logic controllers.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Arcade.plc: a verification platform for programmable logic controllers

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-10T07:56:57.755637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9afd5ab0-87bf-4a7e-a4d0-eb14b7113c30 · outbound

This paper cites Method for automatic trans- lation of ladder logic to a SMT-based model checker in a network.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Method for automatic trans- lation of ladder logic to a SMT-based model checker in a network

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.680321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f65d6d83-cd64-4946-b72a-d672cc6dd48c · outbound

This paper cites Castellanos, Martin Ochoa, Alvaro A.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Castellanos, Martin Ochoa, Alvaro A

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-10T07:56:57.741323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d0cb8bf7-7d1d-4561-aa40-ea40024baa8c · outbound

This paper cites The nuXmv symbolic model checker.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis The nuXmv symbolic model checker

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.676616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a68afc76-0b59-4e5b-a8b7-e61d952ad862 · outbound

This paper cites In: Biere, A., Bloem, R.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis In: Biere, A., Bloem, R

Reference 7

Resolution: metadata mismatch; doi, observed 2026-07-10T07:56:57.764369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4be1e181-28aa-4c82-b613-d1573d695a08 · outbound

This paper cites Cordeiro, and W.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Cordeiro, and W

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.674709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a26251bb-c997-4e05-9c8f-39762c6cca24 · outbound

This paper cites Formalizing ladder logic programs and timing charts for fault impact analysis and verification of fault tolerance.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Formalizing ladder logic programs and timing charts for fault impact analysis and verification of fault tolerance

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.673086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 91e179bd-08e2-4f2f-b9af-52aa14960001 · outbound

This paper cites Springer Nature Switzerland, Moffett Field, CA, USA, 2024.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Springer Nature Switzerland, Moffett Field, CA, USA, 2024

Reference 10

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.766267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 480e9266-1349-4c04-9400-d1902c07709c · outbound

This paper cites Gadelha, Rafael S.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Gadelha, Rafael S

Reference 11

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.771468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a9a2d4b2-ad91-46b6-91dd-0c9932fc823b · outbound

This paper cites Springer International Publishing, Oslo, Norway, September 2017.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Springer International Publishing, Oslo, Norway, September 2017

Reference 12

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.732739Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 886a6313-7720-44af-8415-a5a642ccc673 · outbound

This paper cites In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T07:56:57.744733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation de017523-8b5e-4f5f-aa3d-21bc52e9c6d4 · outbound

This paper cites Detec- tion of ladder logic bombs in PLC control programs: An architecture based on formal verification.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Detec- tion of ladder logic bombs in PLC control programs: An architecture based on formal verification

Reference 14

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T07:56:57.743229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0964fda8-7889-4ba1-a60a-4b4cd7898164 · outbound

This paper cites Stuxnet: Dissecting a cyberwarfare weapon.IEEE Security & Privacy, 9(3):49–51.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Stuxnet: Dissecting a cyberwarfare weapon.IEEE Security & Privacy, 9(3):49–51

Reference 15

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.759531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 73f3a828-b420-45c2-a335-7fbef46b00f2 · outbound

This paper cites In: FM ’24.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis In: FM ’24

Reference 16

Resolution: metadata mismatch; doi, observed 2026-07-10T07:56:57.729959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 18b02c35-8c77-4f26-9636-40ed2e8a649b · outbound

This paper cites Springer Nature Switzerland, Singapore, Singapore, October 2025.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Springer Nature Switzerland, Singapore, Singapore, October 2025

Reference 17

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.746934Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3098c30e-326d-4ddb-9aaa-fbc133324ccc · outbound

This paper cites Lopez-Miguel, Borja Fern ´andez Adiego, Matias Salinas, and Christine Betz.Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study, pages 227–235.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Lopez-Miguel, Borja Fern ´andez Adiego, Matias Salinas, and Christine Betz.Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study, pages 227–235

Reference 18

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.775979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3762cc56-9dae-44a7-98c0-4061308b4a3b · outbound

This paper cites A trusted safety verifier for process controller code.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis A trusted safety verifier for process controller code

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-07-10T07:56:57.752284Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3002cf91-a165-4aef-88fa-efa82be9f429 · outbound

This paper cites Gadelha, Norbert Tihanyi, Konstantin Korovin, and Lucas C.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Gadelha, Norbert Tihanyi, Konstantin Korovin, and Lucas C

Reference 20

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.738435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fcd09450-8be0-4a14-94b1-7524cbdcd845 · outbound

This paper cites PLC Defuser: tool and datasets (swat, grfics, water tank), 2024.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis PLC Defuser: tool and datasets (swat, grfics, water tank), 2024

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.671029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b660fbc7-f178-4691-8f17-f6fb15b1a0ab · outbound

This paper cites Plc-defuser: Detecting hidden ladder logic bombs in plcs via control flow graph and model checking.Computers & Security, 169: 104983, October 2026.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Plc-defuser: Detecting hidden ladder logic bombs in plcs via control flow graph and model checking.Computers & Security, 169: 104983, October 2026

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-10T07:56:57.758793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4cc197d7-1b6b-4cd9-8a8d-6342ab0dbb9e · outbound

This paper cites An open source iec 61131-3 integrated development environment, July 2007.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis An open source iec 61131-3 integrated development environment, July 2007

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.682375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e1c1aa5a-1b8f-43ab-ad61-4debb81f10a2 · outbound

This paper cites Lopez-Miguel.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Lopez-Miguel

Reference 24

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.761002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 34069aaa-3542-4362-9cae-c9fda00c1df6 · outbound

This paper cites Cooperative verification of PLC programs using CoVeriTeam: Towards a reliable and secure industrial control systems.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Cooperative verification of PLC programs using CoVeriTeam: Towards a reliable and secure industrial control systems

Reference 25

Resolution: verified exact; doi, observed 2026-07-10T07:56:57.769156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation df33a1be-05fd-4832-a21c-999cbe4e08ca · outbound

This paper cites Poskitt, Xiangxiang Chen, Jun Sun, and Peng Cheng.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Poskitt, Xiangxiang Chen, Jun Sun, and Peng Cheng

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-07-10T07:56:57.774101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation cd5bf568-8227-4f5b-9858-cb5fd9c73ac7 · outbound

This paper cites Towards establishing formal verification and inductive code synthesis in the PLC domain.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Towards establishing formal verification and inductive code synthesis in the PLC domain

Reference 27

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T07:56:57.763991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 47af5083-4af1-47fc-b82e-9f98f3025031 · outbound

This paper cites Morley Mao.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Morley Mao

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T07:56:58.684595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0c604725-d848-482d-b5f1-08489a39a5cd · outbound

This paper cites Moyne, and Z.

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis Moyne, and Z

Reference 29

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T07:56:57.766786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.