{"as_of":"2026-08-15T16:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3a976fa990670afaf38e521c585dc6e920fcd8952844d7ad202b47a87c56fe64","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T13:36:09.106685Z","state":"measured"},{"denominator":72,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":72,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2501.16310/citation-record","integrity":"/paper/2501.16310/integrity","json":"/paper/2501.16310/citation-record.json","paper":"/paper/2501.16310"},"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-10T13:36:10.615672Z","title":null,"venue":null,"work_id":"bcacbd75-019e-4e85-958c-083f2b7c49bb","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.877355Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:67ebabc8d68e9a9af39b48109ccfc44ab946a1f5127bdaafad3c2ceda82466ea","observation_id":"f3086a65-eca6-456c-b83f-bb6bc1829cd0","resolution":{"observed_at":"2026-08-10T13:36:10.618636Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.882866Z","title":"Afzal, A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.882866Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:bf79d433e43056398de21e3e4833d9502f64db039f90af777e1f9510ff848253","observation_id":"58219de9-96fb-42cf-8624-de993e2ca0c5","resolution":{"observed_at":"2026-08-10T13:36:08.882866Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.606802Z","title":null,"venue":null,"work_id":"36fb33e7-03d6-4968-b018-cc88663d95b5","year":1986},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.886188Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:e660b9f237b78f9e742acc52606eea4d7e5c6153f0005563cd841b64c08eb402","observation_id":"97003a67-437a-481e-9a8f-2d7564d6ac35","resolution":{"observed_at":"2026-08-10T13:36:10.609633Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-24372-1_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Alglave, A","venue":"Lecture notes in computer science","work_id":"8b55ab19-9d30-4b4d-ad83-1cfaa2d9b38c","year":2011},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.889411Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:78228d318b85c2dc45a56ee82e5f2c59fe582feb52fe6c42348835a4efb0cd39","observation_id":"d92ceb85-4d2d-4f1a-a261-393ff041ba91","resolution":{"observed_at":"2026-08-10T13:36:09.527352Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.892561Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.892561Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:dc3790b1bac18dbe7cec27c58436b0211d39bd65219c662cc94ea961767add2a","observation_id":"53dbd113-12b4-4497-a5d6-cf355745a4d0","resolution":{"observed_at":"2026-08-10T13:36:08.892561Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.597659Z","title":null,"venue":null,"work_id":"2009758c-0b81-4110-af03-ef8e212b9961","year":2023},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.895753Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:05b4a6691360204c55e135fbb70893e366e46bfbc419fd7f678463854b5d011d","observation_id":"cc5c94d4-504c-44c6-89fa-a5280d846d79","resolution":{"observed_at":"2026-08-10T13:36:10.600607Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:10.588338Z","title":"Ayaziová, D","venue":null,"work_id":"9d7ac6cb-999b-4385-9405-21730db7aaba","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.899140Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:925dfa05d642d2455f62386df6afcfdab130e76dc3e56297dfb6fde42730ac18","observation_id":"1738044d-6096-4342-8e88-3dc36541e311","resolution":{"observed_at":"2026-08-10T13:36:10.591506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-71177-0_30","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Baier, D","venue":"Lecture notes in computer science","work_id":"41c4e39a-6bf7-4c12-871d-73cca3e48958","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.902142Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:6ab64a88769f7ba6b13cd8e90c13735f642499d6d32d6d2a70beddf58e91318c","observation_id":"d8cf1dd9-85ea-4341-8e20-44e3ffb8946b","resolution":{"observed_at":"2026-08-10T13:36:09.509972Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.905055Z","title":"Baier, D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.905055Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:10939ad558a634deb1a4d41512288cf07bb468a542155561e5d1c551388e4a1a","observation_id":"ab5b367f-df7a-4b71-aec6-e6d11f6ad95f","resolution":{"observed_at":"2026-08-10T13:36:08.905055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-57256-2_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Bajczi, D","venue":"Lecture notes in computer science","work_id":"7e37a8ca-30ed-4c3e-8fe3-8b2220a2c115","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.907958Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:7c756877d4431441e7031962f9632b3ee70ef5d5b178cda31927351b07437b89","observation_id":"7805fa1b-4634-4c75-8ace-fc74c20a8e8e","resolution":{"observed_at":"2026-08-10T13:36:09.493544Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-57256-2_30","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Bajczi, C","venue":"Lecture notes in computer science","work_id":"cea1dd77-c89c-486b-a304-89f30cedc241","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.910792Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:219332ff5385589a13ccefa85e21cbe07a07f3050fe4cae733c70b99c3254b85","observation_id":"79e84f41-b0d0-4879-9fd6-60e10208cbff","resolution":{"observed_at":"2026-08-10T13:36:09.483579Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:10.577408Z","title":"Ball and S","venue":null,"work_id":"f155e208-e254-4917-94e5-bf7d999e33dd","year":2002},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.913893Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:5f450d3d0dfffa55a534aa9be53f11dcb9a78f9a475f313c41688bd85099bd38","observation_id":"2a4b6141-af9f-47e6-92ff-833e76c463a1","resolution":{"observed_at":"2026-08-10T13:36:10.581203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.916815Z","title":"Ball and S","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.916815Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:be1cf79d234609ec90e8ad4df7ea6d57a578d50fff539aaea84c2ea4cd548d33","observation_id":"37f1b5e1-3439-4a8c-8cf1-bd78eabbfccd","resolution":{"observed_at":"2026-08-10T13:36:08.916815Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.566604Z","title":null,"venue":null,"work_id":"23b2905f-4671-4944-9101-f6b6c3b7439e","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.919728Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:cad0fa4beffbe298dfd283ffca1f7340b60acabfc2bf279128f9ddcfcf86a5cf","observation_id":"15a70cc9-cd17-4bfe-87b0-b544fd0b111a","resolution":{"observed_at":"2026-08-10T13:36:10.570187Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.922590Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.922590Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:0245f113155d646e84fa4385d7709f2257cfdb2d4776a6ee65d1bc98bcb6df3d","observation_id":"4d5a770e-710e-4bdd-ba0e-e66e9923be0c","resolution":{"observed_at":"2026-08-10T13:36:08.922590Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.10669723","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.462868Z","title":null,"venue":null,"work_id":"ed3d785f-e9db-4c8c-81ca-405c94790086","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.925472Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:67b5abc12161d11396bb4775724b2caf30c9f283cf2cac6a4ea6555af86eccaf","observation_id":"3d8c41be-2b91-498d-a39b-98f0ccb850fa","resolution":{"observed_at":"2026-08-10T13:36:09.466491Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-27864-1_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Beyer, A","venue":"Lecture notes in computer science","work_id":"0bcb0026-6b2c-4aac-ad31-3d1c2b567bc0","year":2004},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.928365Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:ff0d8d92edcdfb0550e0d0abfe82c87f54205cdb9fa0d8b270b107a6395cb8f7","observation_id":"4affddea-7ad6-427c-adfc-ac9448dc7e40","resolution":{"observed_at":"2026-08-10T13:36:09.455791Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3477579","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.442139Z","title":"Beyer, M","venue":null,"work_id":"3216297c-3164-4338-a4e0-b0f3c67136bf","year":2022},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.931397Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:cf5dd7286bbe67419d73b1dfcb446e555e697c38170e045198efae88bb25b427","observation_id":"4dfd3f8c-bc65-4001-9a8a-38cd4e94e0c5","resolution":{"observed_at":"2026-08-10T13:36:09.445280Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-017-9432-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.431576Z","title":"Beyer, M","venue":null,"work_id":"71d134b6-e68c-48b7-a787-bb98e4a72d3e","year":2018},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.934584Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:07584f2aae91302415f3c41cded4aaa1d0a6be50405fef221e86e53f0497b8b6","observation_id":"eb91104e-f36a-4990-9a78-eb2b7cda9088","resolution":{"observed_at":"2026-08-10T13:36:09.434938Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-10T18:17:55.76005+00:00","source":"paper_reference_links","state":"open"},"event_date":"2021-03-03","event_type":"correction","notice_doi":"10.1007/s10817-020-09585-6","provenance":{"observed_at":"2026-07-11T02:57:47.831703+00:00","source":"crossref","source_record_id":"10.1007/s10817-020-09585-6->10.1007/s10817-017-9432-6:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-10575-8_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Beyer, S","venue":null,"work_id":"d9870537-aab3-4ba8-a672-a6cd8a7a256a","year":2018},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.937801Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:a01811e62fc4195506a07733633b51deb48b6814a1c12cf4ffce992861f385e9","observation_id":"aa0f3942-ac6e-4363-aac5-59f8c442e92c","resolution":{"observed_at":"2026-08-10T13:36:09.425106Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-31984-9_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Beyer, T","venue":"Lecture notes in computer science","work_id":"83c55689-ffb1-44cd-bf7e-f997261819fc","year":2005},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.941220Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:4261873cd40b678cd89bb44a8e3caef33d8ddcd0a5d8241cf9670359a91aa3b2","observation_id":"7e501445-e52e-4989-9941-6c60acc296a5","resolution":{"observed_at":"2026-08-10T13:36:09.415033Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-007-0044-z","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.399896Z","title":"Beyer, T","venue":null,"work_id":"343c3c65-dd4c-4e49-b7df-353e0e299ca6","year":2007},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.944728Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:d6cef756d88552df50b884699ffd5c78953ac99c03ad16b2678c872afcf8326e","observation_id":"72153abb-19b8-438d-987a-407e4548c3c9","resolution":{"observed_at":"2026-08-10T13:36:09.403497Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.948328Z","title":"Beyer and M","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.948328Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:e5972cfc4a877db2116c5af354040bed27c965a3fdf08104f220cadbf116cea0","observation_id":"cabb3c6a-c177-4d5d-9f01-99cdad2282e3","resolution":{"observed_at":"2026-08-10T13:36:08.948328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.555503Z","title":"Beyer and N.-Z","venue":null,"work_id":"45f98364-8599-4319-8281-d9d3a91ddf41","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.952041Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:0f42fb7f8ab3be24de5866cd9bc1147fb3a292af355c0955e1097b862b09c97f","observation_id":"22119ae9-3826-4b19-9b0b-a3d8627f2a7a","resolution":{"observed_at":"2026-08-10T13:36:10.559170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-17108-6_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Beyer, M","venue":"Lecture notes in computer science","work_id":"92edb9a8-7808-47e1-9b38-8ae38968248a","year":2022},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.955454Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:6e18eec02d6da391a74bc666c13fa2566076be05828e2f08f6d552f2475c07dd","observation_id":"92bdc15c-5a11-4be3-8d07-2a53cc85f8d8","resolution":{"observed_at":"2026-08-10T13:36:09.386362Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.962751Z","title":"Beyer, S","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.962751Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:7ed86b6cc6cc12682930f7d336751ddf869501462a5e952bc8f12267039c5413","observation_id":"e22fed3e-a280-49cc-b891-ab65b0a90798","resolution":{"observed_at":"2026-08-10T13:36:08.962751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-53291-8_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.365100Z","title":"Beyer and M","venue":null,"work_id":"ed8f99b6-2bdd-400e-9d90-5fe5f0d5ebf3","year":2020},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.966460Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:1fa8a1bf6ae52d0cf926c39fc4fbae896ec8711dae06868cf6f7e02539f7abde","observation_id":"5f0dbf0c-23f2-4188-b4c1-44f3e7c1234e","resolution":{"observed_at":"2026-08-10T13:36:09.368674Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.970321Z","title":"Clarke, Ofer Strichman, and Yunshan Zhu","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.970321Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:adfefcc2e7b5a82ab27813e7ea15270b157537c3373fd3a5ff5ee558a54748c2","observation_id":"4b7704f0-d652-4c6d-b019-f11d696bd5b1","resolution":{"observed_at":"2026-08-10T13:36:08.970321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.544332Z","title":null,"venue":null,"work_id":"31f7829a-05cc-48f8-8cdb-f37e543a12c2","year":2017},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.973334Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:4ddc6f5acdc9b98ba95b7c98c5c45c9c641c974f8ec7c60201db29e2cef85df8","observation_id":"6b24105e-b91f-4ecd-85ce-9acabb608f80","resolution":{"observed_at":"2026-08-10T13:36:10.548164Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:10.533410Z","title":null,"venue":null,"work_id":"3e6d1511-086c-4062-b3ef-ec8d71ce30ea","year":2018},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.976083Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:a21e17bc6c247d06039ed73049eab85dc864538c1007dc5149405be678ffc8a6","observation_id":"e17351f0-6572-464d-9f10-124518444d15","resolution":{"observed_at":"2026-08-10T13:36:10.537131Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.979032Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.979032Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:24556a613816dd7ad6d3e93646cd5b83e9f88621942e7b23f14963d43dddacca","observation_id":"1978eae0-d869-472d-be2f-2152417bea19","resolution":{"observed_at":"2026-08-10T13:36:08.979032Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:08.982071Z","title":"Böhme, V.-T","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.982071Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:c02c987fb1ee5b87369c2f9e5ac4c2374b08ad71cd2ecf18f6d1f00df21b033a","observation_id":"6fbed0e6-55d8-4c51-9e4c-b65fc68a3784","resolution":{"observed_at":"2026-08-10T13:36:08.982071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:08.984874Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.984874Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:d45b9217263970d8cfb59a7daa93bea72587831b49ebacfe17812facb929d6dc","observation_id":"351b9293-4f2d-44e4-a897-6cfa26ca2eb4","resolution":{"observed_at":"2026-08-10T13:36:08.984874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-94111-0_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Chalupa, J","venue":"Lecture notes in computer science","work_id":"84ea4e3a-d50e-4e8b-aa46-9b7e58bf6cb9","year":2018},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.987736Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:8e5ab2aa16873c0fad245095e2299780405e972015c5e58b7f5287825570d982","observation_id":"e7a68409-fe7b-40b9-aa13-10bc9800ef19","resolution":{"observed_at":"2026-08-10T13:36:09.339087Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-57256-2_22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Chien and N.-Z","venue":"Lecture notes in computer science","work_id":"75291f3a-cec6-4372-816e-e56d682e08db","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.990999Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:91ce2cdaaf7645ae89400f162f1ba549c90626a99ef26d34260ac0e08452b608","observation_id":"4faa82e6-633c-426f-b194-50d0b04f05fd","resolution":{"observed_at":"2026-08-10T13:36:09.329197Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:08.994059Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.994059Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:96feae26a657aa11fcd364ec11181021fdb7c8e031374f935e7cbd2c9baeb7be","observation_id":"68eae19c-1f03-4318-8e63-06e66fa540a6","resolution":{"observed_at":"2026-08-10T13:36:08.994059Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.522002Z","title":"Condit, M","venue":null,"work_id":"62b23b11-9767-450b-ae2f-77fe16fec834","year":2003},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:08.997166Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:781254c965e9873fc1a6cfcfc2ebf51f9c0e5518280e328802adbc02613c7b5e","observation_id":"c21f8b25-ddf5-4d6c-b4b3-f7a2aea17dc7","resolution":{"observed_at":"2026-08-10T13:36:10.525529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30820-8_41","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Darke, B","venue":"Lecture notes in computer science","work_id":"95eccfe0-9b8e-4a65-bfde-46f2cdca7057","year":2023},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.000141Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:c3100b41242e831196fc71f5efd10df4ef63a6a217742b1bac0a6bf3d7ad554e","observation_id":"17aff9f0-a94b-402a-8bd8-0a8f015e0ff1","resolution":{"observed_at":"2026-08-10T13:36:09.313130Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30820-8_40","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Dietsch, M","venue":"Lecture notes in computer science","work_id":"6ca9c908-bebb-4832-9ce8-6f5f69695376","year":2023},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.003085Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:50acd6f973ac352516cf32458970fbb21c8f4e2b79052884446252d4a28b60cf","observation_id":"4a63c3de-96c7-479c-a8d2-916395b6073b","resolution":{"observed_at":"2026-08-10T13:36:09.303592Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:09.006203Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.006203Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:3ee08836e7a1f0ee87a322f584fcc0a9e24f63d8cd35df9751223631d29a68d6","observation_id":"c2b8f4d7-61c2-4ba5-ac7c-adb89cc068e1","resolution":{"observed_at":"2026-08-10T13:36:09.006203Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.13481","last_updated":"2020-04-25T01:43:00Z","snapshot_observed_at":"2026-08-03T00:56:36.022428Z","submitted_at":"2020-04-25T01:43:00Z","title":"A Linguistically Driven Framework for Query Expansion via Grammatical Constituent Highlighting and Role-Based Concept Weighting","version":1},"cited_work":{"arxiv_id":"2004.13481","doi":null,"metadata_source":"pith","pith_arxiv_id":"2004.13481","snapshot_observed_at":"2026-08-10T13:36:10.161065Z","title":"A Linguistically Driven Framework for Query Expansion via Grammatical Constituent Highlighting and Role-Based Concept Weighting","venue":"cs.IR","work_id":"83c2bc9f-9579-4722-b546-dedfd83ccfd0","year":2020},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.009160Z"},"links":{"cited_paper":"/paper/2004.13481","citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:b55965b3c4eea9024c030edf7c750a3650741e0b9ffdde183145126cf3624d86","observation_id":"31882d4f-220d-45cb-a744-fb7c41447988","resolution":{"observed_at":"2026-08-10T13:36:10.165715Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2013.66931","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.143299Z","title":null,"venue":null,"work_id":"fbb3a0e9-cd5c-426f-88df-22b418ef5938","year":2013},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.012438Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:95c7aecf81c654a3b46cc3835fe42b57493d6aa83e301edc2e7256e817dadaf9","observation_id":"582a9a57-9597-4ae8-aad0-967c1f195c62","resolution":{"observed_at":"2026-08-10T13:36:10.149157Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-45190-5_4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.284586Z","title":null,"venue":null,"work_id":"5a899100-c33b-4aa3-84e7-4fe05470e1e2","year":2020},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.015561Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:c53ccdb7652ac1f39c2f41d9bebb884eb3bbc0a7a91f60c42096f0c9c7996077","observation_id":"58790179-583c-4535-80d7-5eda3a3457ed","resolution":{"observed_at":"2026-08-10T13:36:09.287622Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-44585-4_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.275192Z","title":null,"venue":null,"work_id":"5db86951-62c1-40b7-9eff-c4f00ef59dce","year":2001},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.018550Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:b289c2af4b1333f2764d7af710bd76e05d2ca9cdec0b5bd416b7afd24f59de6b","observation_id":"302dfb49-2268-47d6-8481-18e5dc4eeae5","resolution":{"observed_at":"2026-08-10T13:36:09.278399Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-37709-9_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Griggio and M","venue":"Lecture notes in computer science","work_id":"ac0aecfd-516c-40bc-b0bd-a9ac373ee9d3","year":2023},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.021528Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:be092adb8672f8d6d18fffa5e4940f7ca9a4c8ba2ab70eef1987cbc1fb0426cd","observation_id":"3e9b45f0-b762-4ee6-8048-d722c38b6353","resolution":{"observed_at":"2026-08-10T13:36:09.266939Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-92970-5_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"dbddd036-20e2-467c-84e1-6ca1ae0b5c8e","year":2018},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.024572Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:e7107e06bce9a26e9f693ad260365c8d010a7f7f06f80ec4898ac6d0ac92241b","observation_id":"7e1cbb8b-55cb-42bc-9b88-9c14b55be8f9","resolution":{"observed_at":"2026-08-10T13:36:09.257102Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.12657","last_updated":"2020-08-04T14:38:50Z","snapshot_observed_at":"2026-08-13T22:54:01.684853Z","submitted_at":"2020-04-27T09:09:20Z","title":"Supergraph calculation of one-loop divergences in higher-derivative $6D$ SYM theory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.12657","snapshot_observed_at":"2026-08-10T13:36:09.027616Z","title":"Harman, L","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.027616Z"},"links":{"cited_paper":"/paper/2004.12657","citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:01c9741e69db6796115d922d8737a06fb1de5f8a06aa64be42c472b1c79aa2a3","observation_id":"4f0a2402-36c0-4e8b-91c0-1926ec3b349b","resolution":{"observed_at":"2026-08-10T13:36:09.027616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.030902Z","title":"Heizmann, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.030902Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:18ec88aef7485ffa2a3061a52f98acb35bada1b278cfcd922023caa713df1e43","observation_id":"b9627091-8883-42dc-8550-a32460ce1e83","resolution":{"observed_at":"2026-08-10T13:36:09.030902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.033746Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.033746Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:78f55ef78e8bef4696c295bf9dfcd40c8832980c22517555cdbfd67cb601b80c","observation_id":"2e4a6783-59b5-490c-8370-2e5283599653","resolution":{"observed_at":"2026-08-10T13:36:09.033746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.037144Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.037144Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:42d6c077c4df46422ceb393a83eec279b5543f3de3194cab7d7f3e410e9de48a","observation_id":"69a86344-1217-438a-84fd-3c3aaa65e818","resolution":{"observed_at":"2026-08-10T13:36:09.037144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.040541Z","title":"Jeannet, P","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.040541Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:ebff857df7313001f8587206a804feceb0cb776145450299f79b10c2b82360c4","observation_id":"178d67d2-9f02-4c29-a8f3-248988d0653e","resolution":{"observed_at":"2026-08-10T13:36:09.040541Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-57256-2_29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Jonáš, K","venue":"Lecture notes in computer science","work_id":"c9322dfe-0c30-4e70-a24b-2ba389aa9fff","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.043925Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:ac7783b71821713d7e9ba47bdb623b7b0d5599836021dda07bb0fafc675486fd","observation_id":"83469ce3-2b93-4ea0-a79f-a3f3766c69f2","resolution":{"observed_at":"2026-08-10T13:36:09.234776Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:10.511369Z","title":null,"venue":null,"work_id":"7ccfaf0e-40d3-4973-a73a-738fa04e555e","year":2022},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.047170Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:daa7fabe269e8769ea82bfce84cae148063b44b40f2ceeb2808839d867390799","observation_id":"4716ec35-91ba-42d6-b2c8-40233e384411","resolution":{"observed_at":"2026-08-10T13:36:10.514533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:10.501134Z","title":"Madhukar, B","venue":null,"work_id":"1c6a8086-8590-42d5-a721-da905fa73415","year":2015},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.050556Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:5bc8975ca148d9ddb85c03a9d69139913eed6076fd4c684f91fe1713c5c821fc","observation_id":"8426f1a1-5805-4c27-a88b-a2fad0cd2e03","resolution":{"observed_at":"2026-08-10T13:36:10.504448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30820-8_31","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Malík, P","venue":"Lecture notes in computer science","work_id":"3a16f7d9-9682-4388-b06d-244c3f1227ae","year":2023},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.054041Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:34acda5dcc9cc417369c82ce591285bec16bf1065c8dcefdccf169da15e31c90","observation_id":"a576047a-b2fc-40e0-840c-778899a72cec","resolution":{"observed_at":"2026-08-10T13:36:09.224681Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:09.057556Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.057556Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:e6e8c82081510bdb42bb6e5c0538e6e0ff33043fec5a689ef877155c8811615e","observation_id":"ec828d27-1344-49a7-8177-58415a137474","resolution":{"observed_at":"2026-08-10T13:36:09.057556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.490930Z","title":"Metta, H","venue":null,"work_id":"1bc43542-ffeb-4c43-ba14-ee32f4f07339","year":2024},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.060997Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:b7a2e2029456c06346b20d90d4e118fba876871e8c78ecf298c1cbf70dd232ed","observation_id":"5acffabb-ea6e-4c70-a56a-f8cdb466015a","resolution":{"observed_at":"2026-08-10T13:36:10.494544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:09.064401Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.064401Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:b318bfd4caa3fe6afd660efd211d0d53d1e0c659110a10b0558eca4782667f85","observation_id":"c580bc46-2e7b-45f1-9c5c-5d4c3b465766","resolution":{"observed_at":"2026-08-10T13:36:09.064401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45937-5_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.204737Z","title":null,"venue":null,"work_id":"8c194302-b864-488f-a83e-e74132d798ae","year":2002},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.067911Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:5090ef1b7bba6018cc11b8962dd0d6e4f519c024743fcd9c200b845ae4cac340","observation_id":"9cbfb545-db35-4ab7-bb2d-94ead43ffc42","resolution":{"observed_at":"2026-08-10T13:36:09.208391Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:09.071520Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.071520Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:0f149c596160c6cc3bd3de009c8c14c3a09691c48490961750c17007bf4aad86","observation_id":"49796596-c50f-4f64-9c7a-fccfeae43b08","resolution":{"observed_at":"2026-08-10T13:36:09.071520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6914.35691","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.766132Z","title":null,"venue":null,"work_id":"0d123085-e429-47ab-bb1f-3bbc269e5be1","year":1983},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.074860Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:318518e014cb313f5a211cc31edd8163dd165fb227d93e2aa2f0beb44432e9e9","observation_id":"131658bc-dfc9-4cbb-9645-784515631fb0","resolution":{"observed_at":"2026-08-10T13:36:09.771923Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-45237-7_30","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.193783Z","title":"Peringer, V","venue":null,"work_id":"f29f425e-58f6-4207-8ea7-ab4eb223e08e","year":2020},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.077642Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:7c3b7fdf2fe6050c2e9e9c3bceb9453dbbe46f4673f7e53eb7e357653640a6e3","observation_id":"fbffc46f-a05d-4244-bead-5c4f91fc72bc","resolution":{"observed_at":"2026-08-10T13:36:09.197912Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ipl.2014.03.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.183785Z","title":null,"venue":null,"work_id":"e15a468c-1040-4c58-a21d-44315025c0cd","year":2014},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.080659Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:42e076a4c700103b8868702b431aa8019423739f1a6adec536b2bf8c851f7747","observation_id":"0eebf9ca-efb6-45b1-8a63-8874b559e9ad","resolution":{"observed_at":"2026-08-10T13:36:09.186907Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:09.083685Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.083685Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:f421e53363489f65475ff96d65b87873329331cfe9a259262249531d480d7a4e","observation_id":"6a3a42bc-06de-4f77-a642-845aea208841","resolution":{"observed_at":"2026-08-10T13:36:09.083685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.086590Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.086590Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:d22570130461cdd2e64ade13dd85886ee67437e9dc466a9ae26a5099053a4a91","observation_id":"9d8adcb8-cd78-4c3f-9b7d-e4f2a539e170","resolution":{"observed_at":"2026-08-10T13:36:09.086590Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:10.480706Z","title":"2019.MetAcsl: Specification and Verification of High-Level Properties","venue":null,"work_id":"e8130301-5042-4dc5-8a61-f756162e2c20","year":2019},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.089445Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:13d6bc26ac8d9dd95e38e45533e248815140de0c4e264e584844af6201768955","observation_id":"f63d4f86-ff8e-4de8-81aa-fa8ff4cb2eb6","resolution":{"observed_at":"2026-08-10T13:36:10.484176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2005.11.018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.166284Z","title":null,"venue":null,"work_id":"ba9ace1a-15f7-4c71-9908-056d9a58bc6c","year":2006},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.092480Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:9984d1c724a93a6b1f388ecd4869f840263a6045ff4a4ef024ffb7a0d02c8eac","observation_id":"306c496d-439a-4736-8380-fe25a089288b","resolution":{"observed_at":"2026-08-10T13:36:09.169331Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-00593-0_32","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"651861ff-bfbe-48b8-92b9-4d5e474eafa7","year":2009},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.095393Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:27d71ac2db75d510259f506a3f670e62ca36db7733ce9c0d374cc75abf380d7f","observation_id":"954e58d8-722d-485f-90ea-5414dd9a7a60","resolution":{"observed_at":"2026-08-10T13:36:09.159179Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-25543-5_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.146183Z","title":"Silverman and Z","venue":null,"work_id":"71d60efe-a8e3-44f0-81cb-37839d4efec4","year":2019},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.098222Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:7cb845e166896f1c577642f7f6cd090bef6e6d592a01dd6ceea679c4089a399d","observation_id":"c18307c4-3f2e-47d9-b094-6257a510c407","resolution":{"observed_at":"2026-08-10T13:36:09.149465Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04)00270-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.134423Z","title":null,"venue":null,"work_id":"be239d1a-cd24-498d-8e1b-b15c5c37bd64","year":2001},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.101029Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:b0b1f59f91615c9f39b2b015777f36b67aacddec698f1d9c6f5cc0f09c36e193","observation_id":"6e4344ab-e5ac-4004-9e91-d4e45801df41","resolution":{"observed_at":"2026-08-10T13:36:09.138755Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2255.30922","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:36:09.627075Z","title":null,"venue":null,"work_id":"abf56213-a1ca-40d2-a767-2c6c3d9067fe","year":2017},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.103991Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:2dd72f40ca4bb15d80a525f866b99f5d282dc9b402ddb806b0b3e5506d8ee847","observation_id":"743fb37a-7a81-44e1-9d07-09c9ecbc93d7","resolution":{"observed_at":"2026-08-10T13:36:09.632835Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:36:09.106685Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-10T13:36:09.106685Z"},"links":{"citing_paper":"/paper/2501.16310"},"observation_digest":"sha256:904f9bc561e7c7db9c871f941c358f7e0ebf651ed7cad6ecc43a10b278513d66","observation_id":"31386a30-2c8b-4c18-b68f-2197f6c04d64","resolution":{"observed_at":"2026-08-10T13:36:09.106685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.16310","last_updated":"2025-01-27T18:49:11Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-14T17:18:27.581245Z","submitted_at":"2025-01-27T18:49:11Z","title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":29,"verified_exact":31,"verified_fuzzy":7},"total_outbound_references":72},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 0 inbound Pith citation observations for arXiv:2501.16310."}