{"as_of":"2026-08-23T19:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7d16cba5fdcb92737fd2229291ada9a3437c830d6522393d41aa6fbc5fee4a99","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T07:47:07.727047Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.08417/citation-record","integrity":"/paper/2607.08417/integrity","json":"/paper/2607.08417/citation-record.json","paper":"/paper/2607.08417"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.677159Z","title":"Berkay Celik, and Dongyan Xu","venue":null,"work_id":"8eb4fdf4-cbcd-489b-8a03-537fa42de875","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:0ca2c53310e8fd2093b2a34aa2813e8cf1f982a23636711cc1ef5d59d3e1b9ad","observation_id":"4067efc6-06fc-4ab4-9667-ff87763a7ecc","resolution":{"observed_at":"2026-07-10T07:56:58.678473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8900.369926","doi":"10.5555/3698900.3699269","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"URLhttps://dl.acm.org/doi/10.5555/3698900.3699269","venue":null,"work_id":"e6709c8d-0044-4281-b949-d763e6378407","year":null},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:18c0096c315a17a4732bbaf073341bf41d16570a8028a5f5e394c7b45fb5e386","observation_id":"85b9c0f2-aa3c-409e-9e27-87d676d1e136","resolution":{"observed_at":"2026-07-10T07:56:57.755350Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:01.089981+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:01.089981+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1676.235174","doi":"10.1145/2351676.2351741","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Arcade.plc: a verification platform for programmable logic controllers","venue":null,"work_id":"08c721aa-5079-4be7-aae7-83cbe767e9e2","year":2012},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:62721950eb70c5476f55c89ccb5d68008ebe8d9e723d5b1f94109676a534d603","observation_id":"29c58a79-8c2e-475c-9fc0-7e51755cf5aa","resolution":{"observed_at":"2026-07-10T07:56:57.755637Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-15T18:50:18.948173+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T18:50:18.948173+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.679018Z","title":"Method for automatic trans- lation of ladder logic to a SMT-based model checker in a network","venue":null,"work_id":"7264b353-4342-47ad-b456-f48fd471c53c","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:c104bbcbb9a6ef80cbe88495e8752707ffcb3d3f7498c2305e9e1c91167abc21","observation_id":"9afd5ab0-87bf-4a7e-a4d0-eb14b7113c30","resolution":{"observed_at":"2026-07-10T07:56:58.680321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1621.347186","doi":"10.1145/3471621.3471864","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Castellanos, Martin Ochoa, Alvaro A","venue":null,"work_id":"f55cfee5-d6d1-402a-a5a0-8caa439b8788","year":2021},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:c32b3dc55a83a34b7c6cfb2281038c21bcb941c24c4e2bd1d25727c532956e48","observation_id":"f65d6d83-cd64-4946-b72a-d672cc6dd48c","resolution":{"observed_at":"2026-07-10T07:56:57.741323Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:01.344079+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:01.344079+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.675352Z","title":"The nuXmv symbolic model checker","venue":null,"work_id":"0dcecb5c-0d5d-4a83-bc60-f19c3bc2e60b","year":2014},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:4171eddb1d1a3300176214346da7f7c1588ec87c8ba41f9b894741f4d78a6803","observation_id":"d0cb8bf7-7d1d-4561-aa40-ea40024baa8c","resolution":{"observed_at":"2026-07-10T07:56:58.676616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-08867-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Biere, A., Bloem, R","venue":"Lecture Notes in Computer Science","work_id":"de235582-2195-4e8e-b34c-4444849e7bbd","year":2014},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:0e95b0511bbfb15e2778e967547576794e52464f3983a2ab6802c14d1ca7c334","observation_id":"a68afc76-0b59-4e5b-a8b7-e61d952ad862","resolution":{"observed_at":"2026-07-10T07:56:57.764369Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:01.591743+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:01.591743+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.673638Z","title":"Cordeiro, and W","venue":null,"work_id":"c5725c00-3336-4956-a621-55b3e7034d17","year":2026},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:d1faee2a664ed2c6fd77a266df4aa98b146cb9e3f48c34f0c1ad2ca186dbeab0","observation_id":"4be1e181-28aa-4c82-b613-d1573d695a08","resolution":{"observed_at":"2026-07-10T07:56:58.674709Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.671576Z","title":"Formalizing ladder logic programs and timing charts for fault impact analysis and verification of fault tolerance","venue":null,"work_id":"95d6c973-775b-48ec-870b-f525af7d45ed","year":2023},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:37f103814285bcbe36ab1bb58149c4a3ef0d23dcc2a7cce3067074490ba68b6a","observation_id":"a26251bb-c997-4e05-9c8f-39762c6cca24","resolution":{"observed_at":"2026-07-10T07:56:58.673086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-60698-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer Nature Switzerland, Moffett Field, CA, USA, 2024","venue":"Lecture notes in computer science","work_id":"c7fe2b3e-700d-4149-9622-9656d90999c0","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:499747fad92ba07c410c9638bacb84f07cf6d8fef27bd433771c7cc29e449075","observation_id":"91e179bd-08e2-4f2f-b9af-52aa14960001","resolution":{"observed_at":"2026-07-10T07:56:57.766267Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:01.824672+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:01.824672+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-020-00571-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gadelha, Rafael S","venue":"International Journal on Software Tools for Technology Transfer","work_id":"3e5c9fec-08ec-46d5-939c-300b63039442","year":2020},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:79baa30c9a5c2e0eb13988694bf84cb0e1b3568c0e74adc2a2d8544ac02570af","observation_id":"480e9266-1349-4c04-9400-d1902c07709c","resolution":{"observed_at":"2026-07-10T07:56:57.771468Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-15T18:50:23.347896+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T18:50:23.347896+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-72817-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer International Publishing, Oslo, Norway, September 2017","venue":"Lecture notes in computer science","work_id":"ecadf452-f7a9-49e1-8406-59032dd52305","year":2017},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:2e10c330b559a324d10c78f4eeeb6322761609fa38910cd940a2a3ae71d7421e","observation_id":"a9a2d4b2-ad91-46b6-91dd-0c9932fc823b","resolution":{"observed_at":"2026-07-10T07:56:57.732739Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:02.093942+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:02.093942+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6237.310624","doi":"10.1145/3106237.3106245","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","venue":null,"work_id":"3664e10c-5be8-42bb-ac57-92b25ede12cb","year":2017},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:82ac31cfb35efb211a1831d7e8c51e47b262d199fcf9cd7b6ad6b3a0787098ce","observation_id":"886a6313-7720-44af-8415-a5a642ccc673","resolution":{"observed_at":"2026-07-10T07:56:57.744733Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:02.355805+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:02.355805+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9941.2024","doi":"10.1109/icps59941.2024.10639989","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Detec- tion of ladder logic bombs in PLC control programs: An architecture based on formal verification","venue":null,"work_id":"947cab57-a8c7-4b3e-9c47-634a34febee3","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:aa542465b297665d0c054296e64bfc33b842949ec78cd0b46e51fae85af4e4cb","observation_id":"de017523-8b5e-4f5f-aa3d-21bc52e9c6d4","resolution":{"observed_at":"2026-07-10T07:56:57.743229Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/msp.2011.67","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Stuxnet: Dissecting a cyberwarfare weapon.IEEE Security & Privacy, 9(3):49–51","venue":"IEEE Security & Privacy","work_id":"db2925f0-2d87-42e8-9abb-137addfbd8f0","year":2011},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:42d585c7d37b3f537f8e27b84ec0c3bada30f7460381e1db1a2259e18e7b6504","observation_id":"0964fda8-7889-4ba1-a60a-4b4cd7898164","resolution":{"observed_at":"2026-07-10T07:56:57.759531Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:02.619049+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:02.619049+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-71162-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: FM ’24","venue":"Lecture notes in computer science","work_id":"cb344059-ac8d-487a-aedb-80b75377e862","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:682d22decf961fc5e46d709cebf7af6ebc2a1ea38b4616494aa200e0d97ef05c","observation_id":"73f3a828-b420-45c2-a335-7fbef46b00f2","resolution":{"observed_at":"2026-07-10T07:56:57.729959Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:02.935518+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:02.935518+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-07106-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer Nature Switzerland, Singapore, Singapore, October 2025","venue":"Lecture notes in computer science","work_id":"769dbb4a-0c30-406c-aec2-7a8091b9b5c8","year":2025},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:beb360dce8d3b5ae7429a4869edb7f503b00cc75e89fd7d026a75e9b1ad6b3d0","observation_id":"18b02c35-8c77-4f26-9636-40ed2e8a649b","resolution":{"observed_at":"2026-07-10T07:56:57.746934Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:03.175169+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:03.175169+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-93706-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"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","venue":"Lecture notes in computer science","work_id":"3be9f343-ed77-40ac-840a-02c85f921979","year":2025},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:9e75f240758f4afd2e4e7b0117ab71b3c2d31eec7d889adab0da5256268cc966","observation_id":"3098c30e-326d-4ddb-9aaa-fbc133324ccc","resolution":{"observed_at":"2026-07-10T07:56:57.775979Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:03.432631+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:03.432631+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.23043","doi":"10.14722/ndss.2014.23043","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A trusted safety verifier for process controller code","venue":null,"work_id":"f6d070f1-f1dc-4027-bbe3-b1c159edc564","year":2014},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:97864fe1dabf0a0c759f77b2644d3fe90e2059cf798d5ced9a08e3b1296f29d7","observation_id":"3762cc56-9dae-44a7-98c0-4061308b4a3b","resolution":{"observed_at":"2026-07-10T07:56:57.752284Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:03.683922+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:03.683922+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-57256-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gadelha, Norbert Tihanyi, Konstantin Korovin, and Lucas C","venue":"Lecture notes in computer science","work_id":"cb843ff1-1d42-4c49-854a-0b3d64baa63d","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:52f8f472dbcc332f8e4fd53750988521b461d87713d05372b8aae097ee27575f","observation_id":"3002cf91-a165-4aef-88fa-efa82be9f429","resolution":{"observed_at":"2026-07-10T07:56:57.738435Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:03.939884+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:03.939884+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.669668Z","title":"PLC Defuser: tool and datasets (swat, grfics, water tank), 2024","venue":null,"work_id":"d1245372-0653-4d2b-94fd-5f6eec510f3c","year":2024},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:f0da0fa4e04cabe408dfb01851e0450bbd8d3ebfed773da5c871b295cd15cca4","observation_id":"fcd09450-8be0-4a14-94b1-7524cbdcd845","resolution":{"observed_at":"2026-07-10T07:56:58.671029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2026.104983","doi":"10.1016/j.cose.2026.104983","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Plc-defuser: Detecting hidden ladder logic bombs in plcs via control flow graph and model checking.Computers & Security, 169: 104983, October 2026","venue":"Computers & Security","work_id":"58643285-9532-4ebb-8024-d2ab176e7583","year":2026},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:72343657549cb9f3fc5e589aefa1c8e94b1256a2bc252a0a4852230f4cef12ab","observation_id":"b660fbc7-f178-4691-8f17-f6fb15b1a0ab","resolution":{"observed_at":"2026-07-10T07:56:57.758793Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T06:51:04.237306+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T06:51:04.237306+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.681070Z","title":"An open source iec 61131-3 integrated development environment, July 2007","venue":null,"work_id":"5c5c62a0-b17f-4c83-b1d9-94d32d1cb1fe","year":2007},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:de5a02dab8cddd19a4b0b1747d081f0a9e41e6a0d60ca69f6f1aa7207e80e30d","observation_id":"4cc197d7-1b6b-4cd9-8a8d-6342ab0dbb9e","resolution":{"observed_at":"2026-07-10T07:56:58.682375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18429/jacow-icalepcs2021-mopv042","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lopez-Miguel","venue":"arXiv (Cornell University)","work_id":"cdc79b1f-046a-457b-8f27-c5982e8ed252","year":2021},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:a19fe0c5c28913fe40738d0affdd7c9e78ae0a15837b80259b3814de4c8a9bcc","observation_id":"e1c1aa5a-1b8f-43ab-ad61-4debb81f10a2","resolution":{"observed_at":"2026-07-10T07:56:57.761002Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:50:58.812897+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:50:58.812897+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3576914","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cooperative verification of PLC programs using CoVeriTeam: Towards a reliable and secure industrial control systems","venue":null,"work_id":"5b010101-7f90-49d0-bae8-a0921bec9491","year":2023},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:5b3bdb9d25808b83d8cec3e42e94689383418e38f365c0d9706b5c47724f42e2","observation_id":"34069aaa-3542-4362-9cae-c9fda00c1df6","resolution":{"observed_at":"2026-07-10T07:56:57.769156Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:51:02.847451+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:51:02.847451+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.331529","doi":"10.1109/tse.2023.3315292","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Poskitt, Xiangxiang Chen, Jun Sun, and Peng Cheng","venue":"IEEE Transactions on Software Engineering","work_id":"124f83b4-9729-4479-bbbc-88d809eebb2a","year":2023},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:fd2340f17d1b3ff5c4ea24c5aa1ab31fb1504a7a4cd3ee99c60cafbb8f0d7f27","observation_id":"df33a1be-05fd-4832-a21c-999cbe4e08ca","resolution":{"observed_at":"2026-07-10T07:56:57.774101Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-15T18:50:25.350613+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T18:50:25.350613+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5523.2021","doi":"10.1109/indin45523.2021","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards establishing formal verification and inductive code synthesis in the PLC domain","venue":null,"work_id":"348b8bfd-bebe-44d6-b6f8-16f1beed4faf","year":2021},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:43a122ffae395fded86ed1a27141a641c328a85d67e66a1e875d35fe96e8bad3","observation_id":"cd5bf568-8227-4f5b-9858-cb5fd9c73ac7","resolution":{"observed_at":"2026-07-10T07:56:57.763991Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T07:56:58.683178Z","title":"Morley Mao","venue":null,"work_id":"b612789f-f728-4aa5-8db1-032ca3c8a162","year":null},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:2f16ccedee76c5d4270ed0a519f09a723d4cd6cccc47b51b24e9e9fdf49a8178","observation_id":"47af5083-4af1-47fc-b82e-9f98f3025031","resolution":{"observed_at":"2026-07-10T07:56:58.684595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.00034","doi":"10.1109/focs.2019.00034","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Moyne, and Z","venue":null,"work_id":"1a0108db-5445-4bb4-9934-aa770a95e11b","year":2019},"citing_paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-10T07:47:07.727047Z"},"links":{"citing_paper":"/paper/2607.08417"},"observation_digest":"sha256:8c20c736a61aeaec9c90b71ea576a72d923e14fbab45beb5e649f553e4345228","observation_id":"0c604725-d848-482d-b5f1-08489a39a5cd","resolution":{"observed_at":"2026-07-10T07:56:57.766786Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.08417","last_updated":"2026-07-09T12:42:20Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-17T13:26:38.160533Z","submitted_at":"2026-07-09T12:42:20Z","title":"Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":0,"verified_exact":15,"verified_fuzzy":8},"total_outbound_references":29},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"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."}