{"as_of":"2026-08-08T04:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b44757c133598025cf93f5490f4273b084ed2d7ff247d76bcd655234e9b47ebb","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:39:34.839386Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2506.05525/citation-record","integrity":"/paper/2506.05525/integrity","json":"/paper/2506.05525/citation-record.json","paper":"/paper/2506.05525"},"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-07T10:39:36.650170Z","title":"Abstraction, up-to techniques and games for systems of fixpoint equations","venue":null,"work_id":"3b6f2cc1-fb66-4436-8bff-db99105a616e","year":2020},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.112613Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:a37f19744ddebf40a260ddb047b9f9ac70a0be08c831cd89dea0780d1a8149ae","observation_id":"9ae40641-eda0-4518-8412-30814ecc7a74","resolution":{"observed_at":"2026-08-07T10:39:36.654098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.640126Z","title":"Abstraction for falsification","venue":null,"work_id":"a312620e-b068-4ad3-8072-b32959617a39","year":2005},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.180848Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:7963448a3db32d2f6f5de527471bd972afa4b46d27ffb4eea343aea937654eba","observation_id":"aef13ea8-193b-41d1-8d69-011f683ba1f3","resolution":{"observed_at":"2026-08-07T10:39:36.643656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.629772Z","title":"Rajamani","venue":null,"work_id":"a838f051-646f-4e9f-b25d-65b868986f6a","year":2001},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.258942Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:f04c567af2d08dd74dc25a898f51da85b778bb2daff7c2ac18679d151ee25f11","observation_id":"8cfde6f7-a5ae-47d9-af5f-435c353f9b8c","resolution":{"observed_at":"2026-08-07T10:39:36.633192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.619806Z","title":"Gallagher","venue":null,"work_id":"cd66492f-5d1f-4f0d-99c5-fd4940cfa93a","year":2016},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.362476Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:410c8d7582089bf4c3685853d5973ead7c389befc27f9b75b95c2f4e49988bcb","observation_id":"bc8518b4-09d7-4608-8ce6-cbd77a42b3fd","resolution":{"observed_at":"2026-08-07T10:39:36.623118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.609247Z","title":"On-the-fly model checking of RCTL formulas","venue":null,"work_id":"aa07b429-0954-4808-9b7b-f6ed13e7a71f","year":1998},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.406829Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:99ea866e79379cd3a72dcd1c44f215fd44f6e9a5a310a2b7b97e3cd7910ba9c2","observation_id":"2922938b-c60d-41cb-9618-00c141764e27","resolution":{"observed_at":"2026-08-07T10:39:36.613020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.598731Z","title":"A logic for locally complete abstract interpretations","venue":null,"work_id":"78d605b4-7232-4305-a7a3-67b45ade0f1e","year":2021},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.502020Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:f98a44b56bad036fa0b7c78dbb30f2787a69744eb4c5c00735bdce077b27c93d","observation_id":"7c3c4651-c2c8-487a-aad4-a6df4938c5eb","resolution":{"observed_at":"2026-08-07T10:39:36.602972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.587502Z","title":"Abstract interpretation repair","venue":null,"work_id":"e4d052db-84b6-4a12-973c-19ce7c112ca5","year":2022},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.594060Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:9de313d0aef213e81b48f1089320ad438573dce97c5f800037880818543026fd","observation_id":"06a51516-2fd7-4a0d-a842-9551f0ed00a0","resolution":{"observed_at":"2026-08-07T10:39:36.592030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.577759Z","title":"A correctness and incorrectness program logic","venue":null,"work_id":"eee1127e-a4bb-440a-812a-415b70a12b61","year":2023},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.669603Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:f406864da8a251eac849400f22056998b014ef1be339600cee310560a01dad26","observation_id":"3a13e12a-c8b3-4237-a5bb-d8630c21a265","resolution":{"observed_at":"2026-08-07T10:39:36.581356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.568423Z","title":"Simulation-based minimization","venue":null,"work_id":"e952d5a5-3bac-46f8-b4af-128b9764f04b","year":2003},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.706087Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:a2f57d8076173e60acb349054e529ef48e1b0c6f6a2ba3e81cf0c3c39a90a2e1","observation_id":"f4be4719-de7c-40fa-aad0-015872a22aa3","resolution":{"observed_at":"2026-08-07T10:39:36.571818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.559031Z","title":"Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith","venue":null,"work_id":"4cbacae7-c646-44b6-bdeb-0f4ed43a13c4","year":2000},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.783089Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:10ad86947c275c70a9a7e32c5e5d9a7f68d578692b7d24b956b1e716c2e78ca5","observation_id":"0b78dc17-b25a-42ee-87b9-419f632b1a28","resolution":{"observed_at":"2026-08-07T10:39:36.562832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.548439Z","title":"Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith","venue":null,"work_id":"1d133e8d-ed88-4576-8b55-08fb317de088","year":2003},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.849651Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:86a97622f9c93b1566b09e95cb0950f5052549b036b58f8218bd6a1fd949c8e4","observation_id":"dc0a4c71-75f2-4161-a97a-bd023e69260f","resolution":{"observed_at":"2026-08-07T10:39:36.552799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.538045Z","title":"Clarke, Orna Grumberg, Daniel Kroening, Doron A","venue":null,"work_id":"8e2ba510-60e3-4a3e-a5e4-9aa5351a9f33","year":2018},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.920972Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:0eeec3b17a37afb8accb3129208a781d92e1a33aad49a296a9ad96a86dd94d27","observation_id":"6d22138e-9430-4145-816a-cf2d0368717b","resolution":{"observed_at":"2026-08-07T10:39:36.541614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.528803Z","title":"Clarke, Orna Grumberg, and David E","venue":null,"work_id":"219b9d26-24f3-4b42-8755-e6819992cbdb","year":1994},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:31.999177Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:d6a05dea9f337bb9fe811c9d4fdba15c9793d8a3a280060d03dea73043ae641d","observation_id":"b3af66f9-bdcb-45be-965e-cb308c385049","resolution":{"observed_at":"2026-08-07T10:39:36.532029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.519256Z","title":"Clarke, William Klieber, Milos Nov \\' a cek, and Paolo Zuliani","venue":null,"work_id":"1788db77-8da1-4cba-afb9-e459838f209f","year":2011},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.069528Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:f565a2fb25105a5826f3730a1bc9342faa378e48189d80d40a3f2337abeaf4c7","observation_id":"3309f8e7-589c-408d-a285-13e87339d9c3","resolution":{"observed_at":"2026-08-07T10:39:36.523451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.510553Z","title":"Principles of Abstract Interpretation","venue":null,"work_id":"fcdcce10-26b0-4b2e-9f36-6ee04928171d","year":2021},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.206271Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:a689dc5a4aeeef5ef5584fae80b9dd9caf353252deff4335fe255ab72fc80da6","observation_id":"f557af64-74c6-43bc-846e-5a80838a861e","resolution":{"observed_at":"2026-08-07T10:39:36.513564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.501482Z","title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","venue":null,"work_id":"a9394d99-e5d8-40a9-9f9e-f60bb6e1df69","year":1977},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.283549Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:ece676261675ef3ca12fdc1cb5000def5ac521eba04526e2da0ebda0d522c04a","observation_id":"aa0b94ef-9f35-4848-b5b0-56be72ffd77f","resolution":{"observed_at":"2026-08-07T10:39:36.505085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.491161Z","title":"Systematic design of program analysis frameworks","venue":null,"work_id":"d3cc243a-0c0f-433b-8d8e-e7057e58ef28","year":1979},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.354214Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:488eccc1873fab605201371ec444951ac5694c6d3528dfea635695a684aeb415","observation_id":"75a4fe3e-293d-4363-b13c-e46b7266424b","resolution":{"observed_at":"2026-08-07T10:39:36.494524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.480295Z","title":"Refining model checking by abstract interpretation","venue":null,"work_id":"df19738e-56f7-458a-a253-399b8a745a74","year":1999},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.410990Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:a67270b08b48f07683b53610ddc59c66180415dcac168168202e961978b2d958","observation_id":"ab8d036d-ed39-4dcf-ae3a-a3f4f70189d9","resolution":{"observed_at":"2026-08-07T10:39:36.483862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.469283Z","title":"Temporal abstract interpretation","venue":null,"work_id":"f6175bb7-8b56-494f-94eb-c938bc35c48c","year":2000},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.469768Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:99824b3d006dfe798868df743ead6f63d3944ed29cb80bce1234d5d42112b19f","observation_id":"c8d646af-06d5-40cf-a5f6-56f6f44e41af","resolution":{"observed_at":"2026-08-07T10:39:36.473442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.460079Z","title":"Fixpoint-guided abstraction refinements","venue":null,"work_id":"29ebeb47-869f-46ac-9fc2-e72cde7d5188","year":2007},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.517095Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:55dadfaae896322948faf30e630a9155f7b23925dc2933f1402ff51080ec33b2","observation_id":"0eadabb6-d7fb-4368-aada-d2333235304d","resolution":{"observed_at":"2026-08-07T10:39:36.463312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.450138Z","title":"Abstract interpretation of reactive systems","venue":null,"work_id":"14f20383-e9c1-4c69-8b43-40a2f1dc0341","year":1997},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.594359Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:d18e8dc585af204f310cd81d1b9bde3b7e5ca2aae3bf2977dd0f62c19ca3ab95","observation_id":"133c421b-7f5e-470d-a8c9-bb52370d1c37","resolution":{"observed_at":"2026-08-07T10:39:36.453970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.440599Z","title":"Abstraction and abstraction refinement","venue":null,"work_id":"a50d710e-e7ae-47ce-8988-a8f85764b1f9","year":2018},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.683548Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:4f5cd5f5dadb8e98baed23534fed69116909df1646419b6831740f9eb81938fb","observation_id":"6edd00c2-16a5-4fbe-9aa1-b0e76ba98ef7","resolution":{"observed_at":"2026-08-07T10:39:36.444431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.430465Z","title":"Davey and Hilary A","venue":null,"work_id":"a99961fb-0747-4150-9ed5-2f11486a6f0f","year":2002},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.741460Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:a67b98bbf32a0666202d8746d2966addb200ce78a23a79aec89a30c993318a5e","observation_id":"25162820-8c18-4285-96ac-b8a5b76caee9","resolution":{"observed_at":"2026-08-07T10:39:36.434080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.420699Z","title":"Incompleteness, counterexamples, and refinements in abstract model-checking","venue":null,"work_id":"dd4f19fa-6e02-4325-885d-55419102264f","year":2001},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.819725Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:e5de502e340f48d5b6a70e2cf4b51bbb35076e2c8a4fa2190f31b1006985ee57","observation_id":"e2ee927e-e638-439e-a98e-9c9e3b48aabc","resolution":{"observed_at":"2026-08-07T10:39:36.424240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.411816Z","title":"Incompleteness of states w.r.t","venue":null,"work_id":"e08f5c08-4d1e-4bbb-8b96-2b9d3f0dbb00","year":2006},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.881138Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:7a044564555f321a51d481c47b8369edb83f3f306a72e9cc7b01ac7f480ab264","observation_id":"afbeebfb-797b-49d9-b8b7-7ddc1c48928c","resolution":{"observed_at":"2026-08-07T10:39:36.415419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.403078Z","title":"Making abstract interpretations complete","venue":null,"work_id":"4175be81-5eff-442c-b8c9-f4838e49bb86","year":2000},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:32.941539Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:4a80f870be1b57e47be05903bd54dfe20a1b9be72275eba44d3e28d98b16672e","observation_id":"fbbcc460-f01e-46de-8827-1bcc7bc9a4f9","resolution":{"observed_at":"2026-08-07T10:39:36.406489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.393367Z","title":"Construction of abstract state graphs with PVS","venue":null,"work_id":"bd119dea-b6b9-4892-be5e-c14783f2538b","year":1997},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.007257Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:f89f716fc3c36c8d4038c589280fa8770669b83dbca5b0e5a78559f62f17ca89","observation_id":"e1ef1242-6c25-4f7a-8e1c-e744d6d80c04","resolution":{"observed_at":"2026-08-07T10:39:36.396718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.383797Z","title":"When not losing is better than winning: Abstraction and refinement for the full mu-calculus","venue":null,"work_id":"1cb49a03-6dd7-4b74-acf2-5af56a3dd840","year":2007},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.066182Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:26a0688ca8db3cdc707154fae8dd8c111f765843b6061025c09966c2d345f900","observation_id":"5703469d-7a74-4325-9e65-29e11fffede1","resolution":{"observed_at":"2026-08-07T10:39:36.387668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.375155Z","title":"Abstraction refinement for bounded model checking","venue":null,"work_id":"ebee7914-20ff-4191-8692-4b9512e7b4e8","year":2005},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.139102Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:1e995626329f4ee37643f2fa10a197aec3cb8c5ff98df6caedbe5a834a229913","observation_id":"21bd7e0d-393f-410c-a469-ffed88921b2f","resolution":{"observed_at":"2026-08-07T10:39:36.378463Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.366182Z","title":"Dynamic Logic","venue":null,"work_id":"f272c1a6-dd50-4229-87ac-51a930746201","year":2000},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.198986Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:c3cc1a797889c0a576f5d6264a39a9aee74e3d31961230800507129f1331bfb1","observation_id":"b6f3e21e-150a-4178-959b-21c222764c5c","resolution":{"observed_at":"2026-08-07T10:39:36.369734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.356744Z","title":"Software model checking","venue":null,"work_id":"7a78c186-76b1-4d0f-9aaf-96c6004cc8c8","year":2009},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.260381Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:58ac0551f4c1b7d4189571055e7dbba7d03517deb901ca09a7355108fccc5273","observation_id":"d16b9a46-fc04-4b87-a648-7609cef80082","resolution":{"observed_at":"2026-08-07T10:39:36.360676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.347375Z","title":"Predicate abstraction for program verification","venue":null,"work_id":"7f6afe04-ba95-409e-b4a6-4dcefd69227e","year":2018},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.324989Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:baf8d4d43a25c50fcc43bc6e2e0327f22853877c5c70ec26b098fd16eaf689ee","observation_id":"ceabb6ff-55e7-4fe2-89b9-70c0b479ede8","resolution":{"observed_at":"2026-08-07T10:39:36.350954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.337784Z","title":"Kleene algebra with tests","venue":null,"work_id":"2bf65e93-04e6-4cdd-b082-ce142b26c723","year":1997},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.378390Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:024b9320baadf380efad194e6acb2e67fc735ed91cc0e949a0b286c84b4ae247","observation_id":"37660232-7fa6-4df4-971a-0eba4e0bb671","resolution":{"observed_at":"2026-08-07T10:39:36.340860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.328926Z","title":"A modal process logic","venue":null,"work_id":"ef2c745d-1455-42aa-b3aa-39ba89b8f069","year":1988},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.464920Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:c65a5ba3e90799458fa9991d3d7cfc72cd81a46cc6111315ffe07578269536c5","observation_id":"7a26920c-1dec-4510-8ee5-ec5384094856","resolution":{"observed_at":"2026-08-07T10:39:36.332051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.319721Z","title":"Towards K leene algebra with recursion","venue":null,"work_id":"d800ddb6-0d2a-442e-8388-56692e485529","year":1991},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.542232Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:b84c57f14d433c262d6eb481981f0b6bbe0e15ec53bd386f66ceccd77024a76b","observation_id":"66b094af-d761-4a86-a707-0f3de68abdf9","resolution":{"observed_at":"2026-08-07T10:39:36.322911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.311281Z","title":"Property preserving abstractions for the verification of concurrent systems","venue":null,"work_id":"467a5012-557f-48a1-ad77-e00121dc9e8b","year":1995},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.623268Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:b169ef6745e5cb5886f4216280b47ba6ba58eaf748438604695ebccdc38e83e5","observation_id":"0575d875-7534-4aad-94af-f32b3667e5e0","resolution":{"observed_at":"2026-08-07T10:39:36.314330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.302609Z","title":"Semantics for abstract interpretation-based static analyzes of temporal properties","venue":null,"work_id":"223bbdc6-39aa-4ce4-9f18-4bf3f879c775","year":2002},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.682446Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:df6aa57daaa19297d8ec7cc179c3a079d19646613be17dff51f79cf4270e6475","observation_id":"78d2e392-7b5f-4939-b7a5-2a2bb839bb63","resolution":{"observed_at":"2026-08-07T10:39:36.306029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.292980Z","title":"Tutorial on static inference of numeric invariants by abstract interpretation","venue":null,"work_id":"3a0f6cc6-d25f-4eb7-87af-062fe9422145","year":2017},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.724884Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:43ced9e0f4d60ba1b5588bc1aeb53aad6df5fdcbb8b4de75212eb9b0835400f5","observation_id":"b67b644c-19f9-421b-93a7-15ba52b57ac7","resolution":{"observed_at":"2026-08-07T10:39:36.297357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.283271Z","title":"Model checking Is static analysis of modal logic","venue":null,"work_id":"a44be1d2-1ab6-42a0-a0c4-63d1e3624f2e","year":2010},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.780687Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:cc31b9854875fb283ecc20ff812700b8a44ccdd241e62b84ec20905cc34bde33","observation_id":"e8cf24af-e8ca-4392-ac37-cd3051edf5de","resolution":{"observed_at":"2026-08-07T10:39:36.287464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.274679Z","title":"A succinct solver for ALFP","venue":null,"work_id":"be7be0bc-b932-4774-b8d0-db9fb86e7130","year":2002},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.861268Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:1f092e26cc223d1c036aa09f60ca1a1cbdec2b4a599cacffb44d3d3264b06c03","observation_id":"a3829533-9830-40e8-adc8-453ff1617044","resolution":{"observed_at":"2026-08-07T10:39:36.277793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.265339Z","title":"Flow logic: A multi-paradigmatic approach to static analysis","venue":null,"work_id":"0c3790fe-6141-4be1-9769-2979ef5b29f4","year":2002},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.914215Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:b0bf8ce4754583a32b913173983e5e7353d4d7dcefe7de53adfe7b2d962511ae","observation_id":"1d01b0c4-6d7b-45b1-8c73-97a9401fff70","resolution":{"observed_at":"2026-08-07T10:39:36.268447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.256546Z","title":null,"venue":null,"work_id":"f6418fd0-d2ec-4a38-8824-616c4fde6c96","year":2020},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:33.983849Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:a2cc7cfb32308893014678c2d9d186b08096686d6fce674d920a6fba8f910389","observation_id":"cd900ebf-4ac4-4ef0-a8be-e0c22803e7d8","resolution":{"observed_at":"2026-08-07T10:39:36.259633Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.247704Z","title":"On the completeness of model checking","venue":null,"work_id":"a64154f1-13a0-4e87-8155-b51ca11a3cd8","year":2001},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.053098Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:76e17c2c639d93fce121ccffc085148e3c639cebcf016a66aea0dc683ce50a30","observation_id":"e805faa0-fbb9-4f8d-8aee-a9ecb3611fe5","resolution":{"observed_at":"2026-08-07T10:39:36.250537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.238967Z","title":"Making abstract model checking strongly preserving","venue":null,"work_id":"7cbd7b93-c3ff-4482-a2a2-2f6ab9fca9c7","year":2002},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.117483Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:bce0d677158b7bb446ad8b659511b7335b5a8507473607ab27de43c258b2f69b","observation_id":"9ec7cf1a-fae8-41ee-8d52-1c372396ddec","resolution":{"observed_at":"2026-08-07T10:39:36.242030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.220680Z","title":"Generalized strong preservation by abstract interpretation","venue":null,"work_id":"0f8856c0-a524-40c9-b781-7ecda7412287","year":2007},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.192524Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:05a1ac576fcedb397d940443938133ca892d2064e618ec5db1d310e5bea158de","observation_id":"dc6ec278-3072-4f61-a0e1-21bcf36240f8","resolution":{"observed_at":"2026-08-07T10:39:36.223642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:36.117894Z","title":"Binary relations for abstraction and refinement","venue":null,"work_id":"156388d1-bbed-45b3-bd19-71249bedf815","year":2001},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.254320Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:8b3cdab221d4ff10c6d869088df323fd7d396d48a709eaac42cb262e5cfd1ca5","observation_id":"4d51525f-3939-440a-b289-900860b29092","resolution":{"observed_at":"2026-08-07T10:39:36.215286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.887944Z","title":null,"venue":null,"work_id":"58a1bc96-7711-4bb8-a902-0695fec35c57","year":1998},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.331547Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:0fdd367937678089b968af0579ba18fbbf98c5e23dac0fd9f25a1eeb433a4016","observation_id":"601c9443-6ede-459c-9a7f-f089f0e7e746","resolution":{"observed_at":"2026-08-07T10:39:36.001003Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.756378Z","title":"Schmidt and Bernhard Steffen","venue":null,"work_id":"844477a6-df69-4756-a4ec-0b879d9d943e","year":1998},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.411515Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:540334464a6ed39aa2cf7cf7ea6e5266633c1747229d1c60ec547b469a50764b","observation_id":"d11a0aef-1244-46ef-a452-7866f2273e5f","resolution":{"observed_at":"2026-08-07T10:39:35.821950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.602744Z","title":"Monotonic abstraction-refinement for CTL","venue":null,"work_id":"fec57786-d807-4207-a1f9-7a03031a98ff","year":2004},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.495898Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:0e35e1598f14ab1d4a9b7e2e5e9e184d0f222e092ea74caa07a8d000d2131cc3","observation_id":"6d67f07b-3e5a-4197-96fa-ac770f73f1a8","resolution":{"observed_at":"2026-08-07T10:39:35.661143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.459297Z","title":"Data flow analysis as model checking","venue":null,"work_id":"972164db-0c70-4a63-b9c3-c8bd3ae52455","year":1991},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.561515Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:16b18426dd4ff045daad9676743ecafa2fa95cb70974ae235d52818886194e8e","observation_id":"0a4b0eff-3526-45fd-b0dc-bbcf2fe4e8e6","resolution":{"observed_at":"2026-08-07T10:39:35.519219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.308712Z","title":"Generating data flow analysis algorithms from modal specifications","venue":null,"work_id":"16d217a1-9aa7-460b-9727-cf274662f7ce","year":1993},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.638137Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:afb23c0a49d33c26c4b9bfcdadd6f51a413dda96af9b7cef273d97dbe168bf3c","observation_id":"f12bab09-7444-471d-abd5-bfc9dcbd7930","resolution":{"observed_at":"2026-08-07T10:39:35.365856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.173617Z","title":"Local model checking in the modal mu-calculus","venue":null,"work_id":"3dc8c35c-97b6-43da-9579-4352f891d1db","year":1989},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.699083Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:4f79611398926c50f74b975e0d3c032e0d49620a788b5eaa5b2474ff8cd8145c","observation_id":"9a396072-d0ee-4570-b701-7d9b7533673c","resolution":{"observed_at":"2026-08-07T10:39:35.229359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:35.033794Z","title":"Temporal logic can be more expressive","venue":null,"work_id":"dd4a31f5-f538-4978-bbbd-1bb8f092da71","year":1983},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.763022Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:54a15e3e506e57cf9b012ea38aa3b564ec564af822928b12cbd7d7cee1ffc07b","observation_id":"9b94ec79-4c7a-4356-99a6-4e518f7b0040","resolution":{"observed_at":"2026-08-07T10:39:35.088792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:39:34.913407Z","title":"Model checking as static analysis: Revisited","venue":null,"work_id":"7252667f-3aed-46ff-afad-0745c8ffb41e","year":2012},"citing_paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-07T10:39:34.839386Z"},"links":{"citing_paper":"/paper/2506.05525"},"observation_digest":"sha256:ba783503763b84e3877d8b11faa767be80e56e4abda2323d7ba8e8d3bd305c8c","observation_id":"2ad7fab0-efdc-4011-8652-b406b1a5d2f7","resolution":{"observed_at":"2026-08-07T10:39:34.955471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.05525","last_updated":"2025-06-05T19:18:21Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T10:17:30.701445Z","submitted_at":"2025-06-05T19:18:21Z","title":"Model Checking as Program Verification by Abstract Interpretation (Extended Version)"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":0,"verified_fuzzy":52},"total_outbound_references":54},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2506.05525."}