{"as_of":"2026-08-18T17:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fe4859364cdedc880b68536cf6808b10e619a722aaf8b9b119a6dc2b8b591e28","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:26:48.067327Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2509.05596/citation-record","integrity":"/paper/2509.05596/integrity","json":"/paper/2509.05596/citation-record.json","paper":"/paper/2509.05596"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:26:48.753267Z","title":"Equiva- lence checking of petri net models of programs using static and dynamic cut-points","venue":null,"work_id":"11bf682b-e661-4b9b-a0df-8aa2789c4b07","year":2019},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.850000Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:3923befdc068f1216df06f36ad86d030e47cce041fe0546aac07744eb8e94edd","observation_id":"e72904a9-2366-42b7-a51e-22251b625385","resolution":{"observed_at":"2026-08-15T16:26:48.757387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.743246Z","title":"Mandal, Kunal Banerjee, and Krishnam Raju Duddu","venue":null,"work_id":"fcab8f95-cc63-44ba-8fb7-a6c6ab122375","year":2016},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.854045Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:e90938a8c7980859767801a9f06febdf805cca1f0d6f98b8c0c60656127e05c4","observation_id":"31f4d86d-177a-45c5-98ef-02530944679a","resolution":{"observed_at":"2026-08-15T16:26:48.746868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.732685Z","title":"Re- searching evolution in industrial plant automation: Scenarios and documentation of the pick and place unit, 01 2014","venue":null,"work_id":"81c308f6-3829-4c96-b7f1-eb01f182a938","year":2014},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.857783Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:6f30b184bc34d5aa3a6a53bc887b702cc1b3c57d01b0fb4695c4eccd718ffcbf","observation_id":"525dca12-cb27-4855-909b-eb04585ace65","resolution":{"observed_at":"2026-08-15T16:26:48.736787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.722204Z","title":null,"venue":null,"work_id":"613acc37-6949-499f-a3ac-a75de906f4be","year":1995},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.861567Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:02eb70150bd2fc0623ccd71b9498a73f49d301b259f191b8d4b6233ee3d1fe8f","observation_id":"d4833b69-2f8e-441f-af0b-5be07a2cb016","resolution":{"observed_at":"2026-08-15T16:26:48.725969Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.709551Z","title":"Proving equivalence between control software variants for pro- grammable logic controllers","venue":null,"work_id":"66841dbf-5857-4173-80a9-f38f1628d837","year":2015},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.865156Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:1628fa1deb5e503d191064db4c40fa59b6e2bfda48fd63e83952fc39225ae981","observation_id":"0ea1fd2d-262d-483b-9d2d-567212f8daa3","resolution":{"observed_at":"2026-08-15T16:26:48.713874Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.699105Z","title":"A unifying semantics for sequential function charts","venue":null,"work_id":"b0efc869-e731-4c86-9fd1-4046f99f4145","year":2004},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.868988Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:d7902e4d2b286b561e09681a11ec5843511ec4913041e5cf02cb3c0b195ea3a8","observation_id":"534ad08a-9609-4f30-be2d-00ee2a95e956","resolution":{"observed_at":"2026-08-15T16:26:48.702720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.688819Z","title":"Formal semantics and analysis of multitask PLC ST programs with preemption","venue":null,"work_id":"c398057a-6372-4e18-acc3-3cdcdbd0e032","year":2024},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.872834Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:7fef0a8e99e17d0a51e662e750e012c8b4a814d7d752575e5e184220362c1273","observation_id":"2bc31883-9332-4499-8820-ccb7904c9166","resolution":{"observed_at":"2026-08-15T16:26:48.692484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.678832Z","title":null,"venue":null,"work_id":"4329953c-8b04-462f-8682-23e2d10f53ca","year":1989},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.876264Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:b9fb7258659d24cdb7aaeea2307dcb8ad5bd0b62f4dd2855add6da2b0bf79696","observation_id":"47f7cb32-2342-477f-9f0e-5c24de55654c","resolution":{"observed_at":"2026-08-15T16:26:48.682365Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.668220Z","title":"Mathematical theory of partial correctness","venue":null,"work_id":"a3a33d8f-f041-462b-ab68-7e58877cee6c","year":1971},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.879598Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:436b21e1aa102f67cf13e14043bfbb715138b407f7f92e81d5c04a06b2810974","observation_id":"a81b1610-7cd6-4f1c-8234-dec77e287664","resolution":{"observed_at":"2026-08-15T16:26:48.672012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.658000Z","title":null,"venue":null,"work_id":"cf6022f1-f3bb-4d37-bc9c-62beade8015a","year":2000},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.883387Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:3322310d571cdd15dc7542bdf5fd2230499ffb99f59a01606737e46b13c9fe9a","observation_id":"0e9a4b96-f1c1-400f-a998-933679df74ff","resolution":{"observed_at":"2026-08-15T16:26:48.661311Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.648433Z","title":"Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, and Lenore D","venue":null,"work_id":"26f1b524-8575-4423-97fb-2cf53e106089","year":2005},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.886877Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:ac31c1920993db1bf2bb44e76939ac61ddc70deae9d83ee9e8f64dc111b62234","observation_id":"83527a98-ec47-471f-b6aa-be841b826dc8","resolution":{"observed_at":"2026-08-15T16:26:48.651743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.636797Z","title":"Rinard and P","venue":null,"work_id":"7ec48a6e-e82c-4442-8b99-d6c0d3133320","year":1999},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.890499Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:03bb1ee8861f881ff43588f563e822e0e3bae34fdf7ffdc691dee628a5b13b90","observation_id":"0e4c072f-4649-4f6d-bd2b-9de50e2be428","resolution":{"observed_at":"2026-08-15T16:26:48.641620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.624700Z","title":"Wisniewski, I","venue":null,"work_id":"c72097fb-a126-47ab-be67-309cac8f9542","year":2020},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.893795Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:75c9d05c8cea902d309712532e2879eaa21b22f9f63a8239af2be49aff9f564b","observation_id":"ec8b7378-d527-401c-a712-2b468e1e6837","resolution":{"observed_at":"2026-08-15T16:26:48.629091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.614381Z","title":"McMillan.Symbolic model checking","venue":null,"work_id":"cd8420ce-ed99-4cc3-8ce3-e98b80d44895","year":1993},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.897127Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:05e691f596dcc8048d26a68183303e460835504de4f24d47ca92e774cee3cbaa","observation_id":"51c116e6-439b-4dd6-9de8-43e3fbffee68","resolution":{"observed_at":"2026-08-15T16:26:48.617804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.604451Z","title":"Regression verification for programmable logic controller software","venue":null,"work_id":"71b4c1ff-7417-4531-b4df-afeda290186e","year":2015},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.900579Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:c09e0e2377193d3ce4952c9c5984d3ee408b1bb278a348c6a7af531d404b3c1a","observation_id":"54e6f55e-9aaa-4399-a88b-4dd4020281cc","resolution":{"observed_at":"2026-08-15T16:26:48.608005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.594881Z","title":"Lynch, and Eric Feron","venue":null,"work_id":"138f862c-7226-40e5-8125-f0f77cfd0453","year":2003},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.903909Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:07f3d19b70775e0ccf056e0c0fbe23078eb4d6eaff2156dc386a936f6e875424","observation_id":"ae1c526b-a6fc-4e45-a4ae-b6b38e472180","resolution":{"observed_at":"2026-08-15T16:26:48.598126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.584901Z","title":"Modeling and verification of safety-critical sys- tems using safecharts","venue":null,"work_id":"64773c3f-7ff3-4e10-b879-d7067fa29509","year":2005},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.907160Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:36a289019a808ab3d5f218e9d15f91594d42de5286ade7b5cd3b8abb6669a505","observation_id":"22036836-6649-4a09-856e-4f1481a81173","resolution":{"observed_at":"2026-08-15T16:26:48.588547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.575026Z","title":null,"venue":null,"work_id":"f136458f-7af9-43b0-8c90-7688963a0f4d","year":1990},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.910618Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:134b9c1f6276814fea9b18351e5085645aa044b659512a85b3a4fb065d749f2d","observation_id":"206a35c6-3baa-4a36-a69d-ef229ca64ed6","resolution":{"observed_at":"2026-08-15T16:26:48.578500Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.564662Z","title":"Controller synthesis for linear system with reach-avoid specifications","venue":null,"work_id":"4fbdbc23-98a7-477f-b596-a28376354118","year":2022},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.913809Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:96706569802a11de5cfff0059726d00023a20b4bafe7fc0fcfbe599d045a79f5","observation_id":"de950db2-66d1-486f-be5f-8893a77d8c50","resolution":{"observed_at":"2026-08-15T16:26:48.568369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.554460Z","title":"Multi-agent safety verification using symmetry transformations","venue":null,"work_id":"f74b5a22-a7fd-4c7a-baf2-0aeb28e01539","year":2020},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.917251Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:ec34b196ba8f51515f71eaaf54d4e5b47597ad4bd62c2fdbba31df5f2cde88de","observation_id":"509475d9-2314-4c53-a0c9-5a214ee5e369","resolution":{"observed_at":"2026-08-15T16:26:48.558212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.544198Z","title":"Verification of sequential func- tion charts using smv","venue":null,"work_id":"839893da-e92f-40ca-80ec-aa0a73d6fe20","year":2000},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.920616Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:b4e8c520868debe5942f7c19b85ef115f66353526f0860926f4a8756ffd0a267","observation_id":"214cc092-6707-415a-a1e9-bf4e2c306880","resolution":{"observed_at":"2026-08-15T16:26:48.547631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.534210Z","title":"Niang, B","venue":null,"work_id":"e0303c01-74c3-4880-9358-9c7d78608d19","year":2020},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.924675Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:bbb17a51e0d756bf624d748eae376ebe5fa8efff840ae6d4be1e6643c29c58a1","observation_id":"24afb96f-6a27-4e86-8ed7-900f30e0153a","resolution":{"observed_at":"2026-08-15T16:26:48.537715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.523513Z","title":null,"venue":null,"work_id":"02d8a6bb-1a22-4a06-a034-3b35cf6f1973","year":2016},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.928162Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:b4098b07004ebb85fdc4c3915393aa301dad45b723adb98da0e75a7c5a431f21","observation_id":"ee630874-8b09-4f58-8c7f-98ed10aee01f","resolution":{"observed_at":"2026-08-15T16:26:48.526847Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.512914Z","title":"An fmi-based initial- ization plugin for INTO-CPS maestro 2","venue":null,"work_id":"cedc4400-c25a-4608-bc64-64cbe9b5cab2","year":2020},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.931532Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:a18172ae57e7cd6432c018d933a5902431b6a4e03abd7811ca1c854d83e875a6","observation_id":"9b86ca3e-93f1-4141-8062-d033823a63f4","resolution":{"observed_at":"2026-08-15T16:26:48.516622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.502498Z","title":"Semantic adaptation for FMI co- simulation with hierarchical simulators.Simul., 95(3), 2019","venue":null,"work_id":"3beaacf2-3f21-45ea-8fd9-b167b670300c","year":2019},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.934952Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:25b7ba5501d00bb53b93810cb9caac748fe3b481d4797f1e47771fd5eac39c42","observation_id":"0708d1da-f6e0-4004-b78d-de86e7d4a519","resolution":{"observed_at":"2026-08-15T16:26:48.506192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.492163Z","title":"PhD thesis, University of Antwerp, Belgium, 2019","venue":null,"work_id":"214ecfe0-88ff-4db8-a60e-0e4d0427ed79","year":2019},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.938323Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:e5dde5e28355cc7cd4b94c350187bd1ff7f48fbc1820fff635bfc4855430e871","observation_id":"596efc77-8919-416b-8dda-9eb7a775eb53","resolution":{"observed_at":"2026-08-15T16:26:48.495642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.482173Z","title":"Springer Berlin Heidelberg, Berlin, Heidelberg, 2004","venue":null,"work_id":"e341c528-5de5-45aa-bfca-b77a36ad42ef","year":2004},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.941605Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:1b77868e3e5e481f42ee373c6f55bb9e1207149b8efd061a63015eefb514aa4b","observation_id":"2a147855-5937-4800-ab34-b5050fcf378e","resolution":{"observed_at":"2026-08-15T16:26:48.485682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.471438Z","title":"Modeling error propagation in a modular plant","venue":null,"work_id":"09b44261-a966-4b49-a28a-1bee4f9b7670","year":2022},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.945196Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:fbbbbbfd7628939e459ab23fd27088d938dc448d09d968f936428705899cd606","observation_id":"eaf9d42e-d64f-4862-83f5-726b5d5c8cdd","resolution":{"observed_at":"2026-08-15T16:26:48.475410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.460773Z","title":"Rossi, Jean-Jacques Lesage, and Jean-Marc Roussel","venue":null,"work_id":"72c14ff0-2633-4df4-92bd-ee682f896407","year":1999},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.948495Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:3c0778bc4308db6ec77ffef90b568272af33a5bab679099c7a3c534ad464ed3a","observation_id":"8c2a8995-030d-4385-9ed2-04177f0e77d6","resolution":{"observed_at":"2026-08-15T16:26:48.464527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.451053Z","title":"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","venue":null,"work_id":"99c66c90-6bd3-44cb-8246-ed56b202eabd","year":2015},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.951912Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:8684fde47e66a186df3c137102729516019ac136c8c55d90088e9f8035c684db","observation_id":"42d44db2-3817-4fe2-a8a2-0f375a45ef3d","resolution":{"observed_at":"2026-08-15T16:26:48.454468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.441227Z","title":"B S I Standards, 2002","venue":null,"work_id":"93d02799-b75b-4271-9365-700d5a234a6c","year":2002},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.955300Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:2ae5f021514576c0c91081e4a496dc36a3bd144b2f57dab9c47e7e1e5ff69622","observation_id":"0b028bd5-5c74-4338-bcab-cabb32fee690","resolution":{"observed_at":"2026-08-15T16:26:48.444467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.431369Z","title":"Tournier, B","venue":null,"work_id":"ace11af0-25f6-4466-9bcb-b03011d041fc","year":2022},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.958688Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:5244d8ad6fda1c8e7dca64c9f1c032af8ee53fc2822b980245595dcb9c2f316c","observation_id":"52fa5ff8-7218-4395-a95d-520bd06a9614","resolution":{"observed_at":"2026-08-15T16:26:48.434644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.421281Z","title":"Model-based verification of plc programs using simulink design","venue":null,"work_id":"69670539-db1e-483b-9000-629145a9d27d","year":2016},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.961731Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:2cbd0f2a8ea6a6dc6fb0860602e6dd0794278a42d3a506713cddcc99e53a0ed7","observation_id":"74e2d7e7-0525-4b6f-be9e-aaad1285de2d","resolution":{"observed_at":"2026-08-15T16:26:48.424778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.410851Z","title":"Cooperative verification of plc programs using coveriteam: Towards a reliable and secure industrial control systems","venue":null,"work_id":"75072aef-e522-4e60-a00a-2fa71988f7b9","year":2023},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.965024Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:b97f6f69646273b74da6aea7b0142c840aae5ca857845a1f3f4ffd30662b9879","observation_id":"e45909a7-8fdd-4b11-9a4a-7957d8fe5733","resolution":{"observed_at":"2026-08-15T16:26:48.414270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.400982Z","title":"Filkorn, M","venue":null,"work_id":"ccb32b40-da01-499e-a749-bdb8ea53ebe7","year":1999},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.968456Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:f146f6d9d82ed03281acd617991b0400d104dbb3ad7892340805ddf68d1078a2","observation_id":"7252286c-9bbc-4a7e-965d-5225b42a9220","resolution":{"observed_at":"2026-08-15T16:26:48.404247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.390819Z","title":"Combinational model- checking of plc programs’ verification based on instructions","venue":null,"work_id":"1c924f5c-114a-4332-81a9-698854a6a407","year":2014},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.971902Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:3aa7cf6c1d8c5cb25aa0d9995a6cc70d1e92fb8ba4bc57aeb766d796ce8b251d","observation_id":"f6156f79-fbb8-4a48-b6e8-88ff83b34af5","resolution":{"observed_at":"2026-08-15T16:26:48.394771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.380689Z","title":"An overview of model checking practices on verification of plc software.Softw","venue":null,"work_id":"fc1b7dd2-0ad2-4d2c-b900-e511ebeef0f1","year":2016},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.975152Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:5e6625a84875ec7fd145ffa8d777ff7c3390c515a470cba977a4f12e36384e9d","observation_id":"3bbf1195-4b4e-4472-9d52-62751af6e1c3","resolution":{"observed_at":"2026-08-15T16:26:48.384172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.371104Z","title":"Work in progress - model-check PLC programs: Towards a efficient formalization ap- proach","venue":null,"work_id":"247b4347-de9c-4da2-a8b3-9c788f36b973","year":2024},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.978363Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:f8349c942adf4369773866cdcf6a5fac7be5880e5be9c93482bff4b65b549f1b","observation_id":"8509591d-2e75-4165-90cc-1a44fde36426","resolution":{"observed_at":"2026-08-15T16:26:48.374489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.360457Z","title":"Safe programming of plc using formal verification methods","venue":null,"work_id":"47553c03-bc15-4c32-b9a4-668d2b9521fe","year":2007},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.981451Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:f79683a17220554b507a29e4d807488962f6eb4c8e79c7ba4cafc23dae7edb75","observation_id":"9e753309-ae33-4197-b4f8-51287a6fff51","resolution":{"observed_at":"2026-08-15T16:26:48.364642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.351194Z","title":"Cooperative verification of PLC programs using coveriteam: Towards a reliable and secure industrial control systems","venue":null,"work_id":"aa8c3826-1b34-4ad3-b723-e205dadfd33a","year":2023},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.984657Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:7f8a1c488d4d2c2ab9ec5ab77a0806feedf6f30f555fd1eb451a763eecbbfe94","observation_id":"5ec1cc66-1b33-49ea-81fc-7070f26befa5","resolution":{"observed_at":"2026-08-15T16:26:48.354522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.341733Z","title":"Generalised test tables: A practical specification language for reactive systems","venue":null,"work_id":"fc8993f4-27e4-4013-834b-4e74487b8f31","year":2017},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.988001Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:b1195e59f601800174de88909e1910bf17faa3eb71f31efca1f35c3c4299bdc0","observation_id":"d6626aed-07d7-4874-8f8e-b40fd4eebabb","resolution":{"observed_at":"2026-08-15T16:26:48.345099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1102.3529","last_updated":"2011-02-17T09:04:29Z","snapshot_observed_at":"2026-08-15T04:54:26.278752Z","submitted_at":"2011-02-17T09:04:29Z","title":"A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts","version":1},"cited_work":{"arxiv_id":"1102.3529","doi":null,"metadata_source":"pith","pith_arxiv_id":"1102.3529","snapshot_observed_at":"2026-08-15T16:26:48.114616Z","title":"A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts","venue":"cs.SE","work_id":"d0988c05-b3c1-41f5-98c3-018fd8e28227","year":2011},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.991248Z"},"links":{"cited_paper":"/paper/1102.3529","citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:e5e5fdc9206b3b0834f7c1a4afa8c98bee1da5a4c7e86f86362851781872eae0","observation_id":"af15d218-1f41-4ea7-ad6c-8db8273236b4","resolution":{"observed_at":"2026-08-15T16:26:48.118494Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.331521Z","title":"Verification of PLC properties based on formal semantics in coq","venue":null,"work_id":"c3ed99cb-8823-430e-9dd1-8bd12c5c8c7e","year":2011},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.994879Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:06775ea8675eb46a49da398f646bb486a58c93c07c165f282b8b7698bf8a9273","observation_id":"634ee5d4-33cd-4ad6-8e6e-90cdfaf5fbca","resolution":{"observed_at":"2026-08-15T16:26:48.334881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1301.3047","last_updated":"2013-01-14T16:40:31Z","snapshot_observed_at":"2026-08-15T00:32:44.187608Z","submitted_at":"2013-01-14T16:40:31Z","title":"On Formal Reasoning on the Semantics of PLC using Coq","version":1},"cited_work":{"arxiv_id":"1301.3047","doi":null,"metadata_source":"pith","pith_arxiv_id":"1301.3047","snapshot_observed_at":"2026-08-15T16:26:48.098412Z","title":"On Formal Reasoning on the Semantics of PLC using Coq","venue":"cs.SE","work_id":"32eda101-2e8b-49d5-9379-a5fc7394b999","year":2013},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:47.998412Z"},"links":{"cited_paper":"/paper/1301.3047","citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:af3f4530a25ee90eea1d455537303abdf3159aa28183c9a8904dd0003ffac27a","observation_id":"48102fc3-63ca-4960-a7bb-1e366c29db07","resolution":{"observed_at":"2026-08-15T16:26:48.104071Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.321762Z","title":"Springer US, Boston, MA, 2000","venue":null,"work_id":"c51faf02-b1a7-4dc3-8704-5feb7a4ef48d","year":2000},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.002041Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:9f0f50a76724f35f71a58a016a751aec68a8f333772049ba12a0c5eafb51d651","observation_id":"256a9a65-b933-41f5-82c2-bf49625496d8","resolution":{"observed_at":"2026-08-15T16:26:48.325243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.311485Z","title":"Equivalence checking of static affine programs using widening to handle recurrences","venue":null,"work_id":"73d5c163-1215-4bd4-b66b-cf595cd2b3fc","year":2009},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.005321Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:32456960ecdc091954ca926baa26e59f012f4251a7c37861cc3544703e4806f0","observation_id":"eb330351-1536-4b02-bf7b-424e4d86e9bf","resolution":{"observed_at":"2026-08-15T16:26:48.315158Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.301149Z","title":"Black-box equivalence checking across compiler optimizations","venue":null,"work_id":"76345dc1-2244-4dcd-9ad1-84268242b7cc","year":2017},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.008891Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:0b21a98a737b1564fe1d5037623c2ffb89af4ffddb83b9e4934c72b437978366","observation_id":"59bf9a67-4055-4ec0-af64-ff9c57a8f451","resolution":{"observed_at":"2026-08-15T16:26:48.304679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.290716Z","title":"Automatic generation of debug headers through blackbox equiva- lence checking","venue":null,"work_id":"06dcb996-e3eb-40c7-8a21-0da5f4ad3cbb","year":2022},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.012143Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:1e0b2fa3d0ad591ecc3e2f7a86e752775ec00f1caf2e3c04f84e45fb686edfcf","observation_id":"80bfe23d-22de-4e83-b240-f2ad564b8c03","resolution":{"observed_at":"2026-08-15T16:26:48.294408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.280040Z","title":"Validating high-level synthesis","venue":null,"work_id":"31e1d11f-b4a1-42f9-81aa-0537c703bdad","year":2008},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.015389Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:fd58e8cf40c34743b273fdb56cffcf43b0eeaf8a71dffe24cb03814c8611cbc7","observation_id":"0e694038-b058-4a56-be54-4b40a6919467","resolution":{"observed_at":"2026-08-15T16:26:48.283804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.269205Z","title":null,"venue":null,"work_id":"59703ffe-db58-4ada-8d34-91705b59361f","year":2010},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.018711Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:0e3177b286f00d18a0bfc9bab167be4967693c4eab9087c378b667a66ea1f054","observation_id":"6c8689c5-2de8-454c-b9de-5d1104e7f11b","resolution":{"observed_at":"2026-08-15T16:26:48.272733Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.258656Z","title":"Ardiff: scaling program equivalence checking via iterative abstraction and refinement of common code","venue":null,"work_id":"ebbeaab8-43a4-4bd2-92a9-2fb1c37358bc","year":2020},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.021887Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:6e619f5e7b15ff903a86aa45c4ed25c0fc49d6961f760e4034d9e7e572c34e1c","observation_id":"2f40a40d-f983-48b4-9f7e-383466424c15","resolution":{"observed_at":"2026-08-15T16:26:48.262192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.247996Z","title":"Semantic code refactoring for abstract data types.Proc","venue":null,"work_id":"662015ad-412e-4ea8-9e6a-185c24f1c611","year":2024},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.025872Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:c10f27dd56bf152d7248e896f1ffde71ebd6044213897c1289d74d02267c56d4","observation_id":"400bc05a-9139-4f70-869c-771c01f48c7d","resolution":{"observed_at":"2026-08-15T16:26:48.251588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.237089Z","title":"Data-driven equivalence checking.SIGPLAN Not., 48(10):391–406, October 2013","venue":null,"work_id":"76397050-d146-4f2f-964e-c39fd71d3575","year":2013},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.029077Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:6ab5bc5d73377fc61567fd0df9d399a5799b316030f82652afb23981de035c2d","observation_id":"5484addc-9c56-49a2-9ac4-b484b242adac","resolution":{"observed_at":"2026-08-15T16:26:48.241048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.226211Z","title":"Effective use of smt solvers for program equivalence checking through invariant-sketching and query-decomposition","venue":null,"work_id":"efbc5753-c56e-4037-afbc-3ff1dd1569e6","year":2018},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.032256Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:8c318dca78445b8d6774df9ac34ae8dd62f3b3b8eec3483e5d78a0825fe2e7c1","observation_id":"58b2bb45-f5de-4631-9e9d-b6ee222dd5fd","resolution":{"observed_at":"2026-08-15T16:26:48.230129Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.215859Z","title":"Client-specific equivalence checking","venue":null,"work_id":"853c2690-a4d4-4926-bd06-9b5d9232a342","year":null},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.035609Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:403a917386ce62ec0b853e01e1e4eedbc1ecebb91eff419f64192154b884cb5b","observation_id":"e1b0f2d9-45b0-4d2d-bef5-f7c575860251","resolution":{"observed_at":"2026-08-15T16:26:48.219446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.198195Z","title":"Semantic pro- gram alignment for equivalence checking","venue":null,"work_id":"0ae51edf-2499-4257-a309-b21e517712e7","year":2019},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.042894Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:0c7cb709503accfe2adc83acaa71ffaf938f86fe90517e2b2eda6865ff44e6ca","observation_id":"1becce26-d304-4c4f-ad5b-4e0ea1180a94","resolution":{"observed_at":"2026-08-15T16:26:48.201820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.187997Z","title":"Eqbench: A dataset of equivalent and non- equivalent program pairs","venue":null,"work_id":"bbecc763-c6ff-4b25-b370-85adfbe57022","year":2021},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.046495Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:f2f94b8247ea422c132bb437eca8e25fc6be4e3b1734c327d3459e9a2344be25","observation_id":"48d8f805-ecb8-4c8c-a877-81ad9a1edd5a","resolution":{"observed_at":"2026-08-15T16:26:48.191503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.177955Z","title":"Verification of behavioural elements of uml models using b","venue":null,"work_id":"4e017efc-6935-4068-af2c-3e41d61887e8","year":2005},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.050014Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:b71a7d467df2a115de24aac525fcda348de4465774f98cf29c6d68e3166ecaf3","observation_id":"85697e86-5efc-4088-8708-7cd496c87670","resolution":{"observed_at":"2026-08-15T16:26:48.181519Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.168142Z","title":"Con- sistency in UML and B multi-view specifications","venue":null,"work_id":"6d7ff0a4-77dc-4424-a743-e99b3d8535b0","year":2005},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.053600Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:05d929f5a3e34e2ea975b4b5dd2d21d90fe277199c2ba288fa82ad13e029285f","observation_id":"34d4dacc-56bd-4af9-83df-b1ca90ec1a22","resolution":{"observed_at":"2026-08-15T16:26:48.171544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.157722Z","title":"Towards the formal verification of sysml v2 models","venue":null,"work_id":"d5b43dc6-3103-4125-994b-b896ad8b7f16","year":2024},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.056937Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:ed06773439cf62ad52d2cfa7f12c8ddd2850f827f59972206e22b72da02d8efd","observation_id":"ba30943f-eb83-471b-88ed-dc6680eee46d","resolution":{"observed_at":"2026-08-15T16:26:48.161490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.146994Z","title":"Hardware behavioural modelling, verification and synthesis with uml 2.x activity diagrams.IFAC Pro- ceedings Volumes, 45(7):134–139, 2012","venue":null,"work_id":"7e7a81d4-6d42-45de-8602-6c2e0971122d","year":2012},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.060491Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:af459f17126d14b7864a29a35761f012fb922a2aff1fa0faca8c2776076c22ce","observation_id":"d6cb8d39-fb59-4306-9e68-869a7709b71b","resolution":{"observed_at":"2026-08-15T16:26:48.150608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.136654Z","title":"Integration of modeling and verification for system model based on karma language","venue":null,"work_id":"f1a02068-e992-4dd0-802e-2a9ee929352c","year":2021},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.064029Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:7cbb308eccb8718c337ab5ba7573f01f6e271ed72cf68b98ccaa5a5b1a030b9e","observation_id":"1e24afc6-0ed6-4845-877e-d71a311db668","resolution":{"observed_at":"2026-08-15T16:26:48.140283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:26:48.125815Z","title":"Verification of nonblocking- ness in bounded petri nets with a semi-structural approach","venue":null,"work_id":"a456b4aa-cebe-4230-a486-684b36581e74","year":2019},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.067327Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:acc149fdc341a7afeb8b08e3616473be2c80d13b11f0f4d0efcfd9b23720f99b","observation_id":"4ba41ae1-7e1e-44d2-94cc-811fec923a0e","resolution":{"observed_at":"2026-08-15T16:26:48.129793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:26:48.039212Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-15T16:26:48.039212Z"},"links":{"citing_paper":"/paper/2509.05596"},"observation_digest":"sha256:ae97229d8afaf5ba39dccfc8b4e298c2e2a95710124095666df30e2108b17d2b","observation_id":"82327f49-791f-487a-9bd6-429e4864b75a","resolution":{"observed_at":"2026-08-15T16:26:48.039212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.05596","last_updated":"2025-09-06T04:45:17Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T16:19:56.887749Z","submitted_at":"2025-09-06T04:45:17Z","title":"Verifying Correctness of PLC Software during System Evolution using Model Containment Approach"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":2,"verified_fuzzy":55},"total_outbound_references":64},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2509.05596."}