{"as_of":"2026-08-13T06:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8e97e4b624f7ce0cd41953b3f596eac1191d6136c97c77104e300f947cdc420c","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T13:01:20.347623Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.16921/citation-record","integrity":"/paper/2411.16921/integrity","json":"/paper/2411.16921/citation-record.json","paper":"/paper/2411.16921"},"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-12T13:01:20.790730Z","title":"Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction","venue":null,"work_id":"936490b4-2162-4a7a-b206-b16e80ef7e9a","year":2017},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.207364Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:0b7056bd53443a3261011eaec33bf8c67004d4ac1d79a597c5c75bfea06be9b1","observation_id":"eb817f3a-bf5e-472d-aeec-146df3fc720c","resolution":{"observed_at":"2026-08-12T13:01:20.794596Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.781249Z","title":"Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs","venue":null,"work_id":"0e76b8e0-5cf2-41ff-a705-06c564f49c22","year":2023},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.211567Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:a92e54b64c6ba9f0c6072d3a35aa8f0b83202232e347bffd9ec6dbea3827634c","observation_id":"326b180c-4c89-43fe-a50e-16f34d292d54","resolution":{"observed_at":"2026-08-12T13:01:20.784727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.771097Z","title":"Parsimonious Optimal Dynamic Partial Order Reduction","venue":null,"work_id":"88ddeaf4-b475-47bc-9289-3f1ab784829f","year":null},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.215122Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:fe359af7087a92cdc8fc2136e8b874261d4e8ef72d979a2aa8b9951c7f6b476a","observation_id":"26690a0d-339f-40cc-a40f-8a6535deb21e","resolution":{"observed_at":"2026-08-12T13:01:20.774774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.760698Z","title":"Optimal stateless model checking for reads-from equiva- lence under sequential consistency","venue":null,"work_id":"69ab4924-d1c6-425f-979c-bc6a7ebe6f06","year":2019},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.218685Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:ea3639e853dd3303c34cfb25ec367b3b79965b728a84e4c485626f73710506cd","observation_id":"ba559433-1e20-48c9-aad6-b8dbc8efb878","resolution":{"observed_at":"2026-08-12T13:01:20.764472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.751144Z","title":"Stateless Model Checking Under a Reads-Value-From Equivalence","venue":null,"work_id":"96894eaf-4e39-4225-afd0-7b49d94f8361","year":2021},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.222172Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:a8d3d62737cfc571f07a0ce972b22990655203d7dc3a41b5037be749a71d98c5","observation_id":"219b2a78-6a78-4e09-bb61-cb6a607667b5","resolution":{"observed_at":"2026-08-12T13:01:20.754489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.741125Z","title":"Optimal dynamic partial order reduction with context-sensitive indepen- dence and observers","venue":null,"work_id":"e63d9785-391f-478b-8054-9ef27f901fea","year":2023},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.226139Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:e8218ecfef3715ba405a402eb6b35b4fe6b71221b83171f50b3c730afc25acf4","observation_id":"490a8bcf-e9b9-43e1-a508-6d090dc162f4","resolution":{"observed_at":"2026-08-12T13:01:20.744744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.731176Z","title":"Data-centric dynamic partial order reduction","venue":null,"work_id":"b682b026-2540-4bef-bb43-5f958cf20015","year":2018},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.229734Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:946eb1c79c21dcbe534d22ec38e15fa47019870ee322e23ea6402781fdef55b9","observation_id":"8e4005bc-3a50-40a0-802f-09cce38db63e","resolution":{"observed_at":"2026-08-12T13:01:20.734589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.720972Z","title":"A Pragmatic Approach to Stateful Partial Order Reduction","venue":null,"work_id":"7470b7d8-e1d7-49d3-99f3-15d21c2ac5c5","year":2023},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.233507Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:7851ca19fe9b07b96b0b3eaf2452aaa12a9f877efb78fdd1472772cf64a7682d","observation_id":"353d0fec-5e74-4f1e-bf4d-8cefa32b59ed","resolution":{"observed_at":"2026-08-12T13:01:20.724585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.711103Z","title":"Quasi-optimal partial order reduction","venue":null,"work_id":"a72dc8c3-46a2-404e-89b0-7444fdbe08fc","year":2021},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.236930Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:b267e3e2cb6b469f2c8c18bf6df330529144721bdf17d801a765d738fcc4e85d","observation_id":"a631ef98-24b6-4f82-8732-722f172e557c","resolution":{"observed_at":"2026-08-12T13:01:20.714779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.701611Z","title":"De Boer, Marcello Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, S","venue":null,"work_id":"ca7d8ab4-c8c8-43f1-8fa4-46263e170a13","year":2020},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.240610Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:e8e57bca7ad3acbe1da6b39ab7e512eef6ac641c29a60aeb96f1d3e532e5ccf9","observation_id":"92f3ceb5-2d9b-4eae-9d5a-eec15a7b518a","resolution":{"observed_at":"2026-08-12T13:01:20.704991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.691788Z","title":"Commutativity in Automated Verification","venue":null,"work_id":"893625df-07c8-4744-ae44-505604350f50","year":2023},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.243939Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:2091d81331e5c8e3822be0b74b1d886bbf7ca5e156ffc869b827d7b42d388068","observation_id":"0060b67f-a016-47ce-95f0-57428625bdce","resolution":{"observed_at":"2026-08-12T13:01:20.695173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.681444Z","title":"Sound sequentialization for concurrent program verification","venue":null,"work_id":"88f0247f-1aa5-405d-8d2e-6bb4abcbe8f3","year":null},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.247227Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:e4b47e6e83841b470116322052fdf72bd83dc998cc91b76aa824d496cd894171","observation_id":"eb9c60bb-618b-48c9-bc08-6669837aa06a","resolution":{"observed_at":"2026-08-12T13:01:20.685255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.671515Z","title":"Stratified Commutativity in Verification Algorithms for Concurrent Programs","venue":null,"work_id":"955e688c-666e-424a-bc1f-01c259093fef","year":2023},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.250610Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:cc0e99f68f88834237177904b7a7560308395edb832e8ce83a088dd3e2e8912c","observation_id":"e322087c-bc06-4a54-86cd-6d7a103cac19","resolution":{"observed_at":"2026-08-12T13:01:20.675087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.662193Z","title":"Dynamic Partial-Order Reduction for Model Checking Software","venue":null,"work_id":"83d8cf7b-0341-426d-80e8-f6615b4bbf78","year":2005},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.254065Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:70b58eb3ada2f1950bc6c46311c3bbed235c39409f87127d9b2b45826a676d3b","observation_id":"2462f98f-4221-40a9-a5ed-47ed6527d1e3","resolution":{"observed_at":"2026-08-12T13:01:20.665506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.651169Z","title":"Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem","venue":null,"work_id":"8b5c3b2b-d634-4695-9ec1-c62f21f64659","year":null},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.257306Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:256bbf15cc3d861046b35b8242c3b684cc1b9a924f145d712d68179a562494b5","observation_id":"346d25bb-f002-468e-9fd7-d432199a45c7","resolution":{"observed_at":"2026-08-12T13:01:20.655204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.641704Z","title":"Using partial orders to improve automatic verification methods","venue":null,"work_id":"397c4932-ea31-45ce-ac57-2801f1fcc345","year":1991},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.260719Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:608a0affe1346d9e853fa025b3c9d3c3dd3d4385323d2e9656872fc5de504894","observation_id":"085a1142-d8a8-45c8-b45d-4a68821053de","resolution":{"observed_at":"2026-08-12T13:01:20.645068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.632381Z","title":"Govind, Fr´ ed´ eric Herbreteau, Srivathsan, and Igor Walukiewicz","venue":null,"work_id":"43cb500b-b587-4c78-9b26-b4a9c94c585e","year":2022},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.264057Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:54ca499fb00bf7dae551bf16e97d6c07e92b6381a431c79e24909fb77917ce8d","observation_id":"8d95f588-98ef-4323-a51a-ca4195b05ea2","resolution":{"observed_at":"2026-08-12T13:01:20.635754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.623276Z","title":"Thread modularity at many levels: A pearl in compositional verification","venue":null,"work_id":"e22a38a2-02fc-4977-bd64-9e42e027901b","year":2017},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.267356Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:db6b08bd8561972db72a044f56e476a3ab9a886ed5941e2cf05328160494fb6f","observation_id":"4893059b-1e1b-41e0-bd97-898af35750b2","resolution":{"observed_at":"2026-08-12T13:01:20.626538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.614116Z","title":"Jensen, Anders Moller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev","venue":null,"work_id":"ed28a52c-3f32-4eeb-a911-5f5e7ad9bc97","year":2015},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.270542Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:cbe5add7423da5420c51c198aaf7409f1581062746c7679bab68d830b294ca83","observation_id":"98f83437-f35f-4706-a713-aa3b6f206a91","resolution":{"observed_at":"2026-08-12T13:01:20.617324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.604135Z","title":"Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing Happens","venue":null,"work_id":"5816f259-b3a3-405e-837e-c45cd0c62de5","year":2022},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.273810Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:d8bcacbc7d587ed182a00915ecb18f685dec84a4801867b1eb1f236712eb7ef0","observation_id":"af0af61c-2243-496e-9206-9d278e4a2207","resolution":{"observed_at":"2026-08-12T13:01:20.607493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.594022Z","title":"Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique","venue":null,"work_id":"87ea85c4-3185-4330-a2be-b5f5106764fa","year":2009},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.276815Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:0fd69fa1a98035dd548200b043d107935096e099dad63608caeedd0e3871d65b","observation_id":"e1466552-4c6b-4665-ae9d-16312e6d6b1b","resolution":{"observed_at":"2026-08-12T13:01:20.597753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.584416Z","title":"Verification of distributed programs using representative interleaving sequences","venue":null,"work_id":"7cde3bea-fcfd-4eda-bf1e-3ced70fe155f","year":1992},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.280297Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:bf0eaa582f045844c6385bf4d8848776badbe9a78b605a50cc1aa70073806cfd","observation_id":"8c726891-b7fd-4cf9-ad68-c61394f661bb","resolution":{"observed_at":"2026-08-12T13:01:20.587702Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.574436Z","title":"Enhancing GenMC’s Usability and Performance","venue":null,"work_id":"053b7fa7-aca6-430b-b9e3-6c9716fb1eb4","year":2024},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.283501Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:92685faeabcbba699d2cfdbf03235080ce49010aa1ab80f0915312d9e9a279fd","observation_id":"40685dbb-9c5f-4682-972c-64765611e733","resolution":{"observed_at":"2026-08-12T13:01:20.577963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.564894Z","title":"Truly stateless, optimal dynamic partial order reduction","venue":null,"work_id":"f7f7e043-c21d-4778-bc0d-06ed39353282","year":2022},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.286726Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:1edcdd1043e5afea1a1c275f503affcddd5c402cc16e437108ce73e45ba2b6fc","observation_id":"8a5e0acf-d76e-4d98-96d5-d63f9a876867","resolution":{"observed_at":"2026-08-12T13:01:20.568460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.554791Z","title":"Unblocking Dynamic Partial Order Reduction","venue":null,"work_id":"47acc2df-352c-42e1-a0ed-fdc94ad8215f","year":2023},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.289921Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:0377d1e0ac46c8e51197e03f677fb50d0b5c13919dda8d698c6650c4b6f16120","observation_id":"eb008ec8-99d5-41e8-bbd4-b95b8b91b3d1","resolution":{"observed_at":"2026-08-12T13:01:20.558423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.544999Z","title":"Model checking for weakly consistent libraries","venue":null,"work_id":"efe0fa42-1c8c-472e-aff2-dd78dfbc7667","year":2019},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.293076Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:e8b9189f0804192ef0df8e8ba07db7507cdcc65d55e8f4220f935c35550ca486","observation_id":"5b2085a9-bcc5-495e-80a1-1bb1575ca771","resolution":{"observed_at":"2026-08-12T13:01:20.548408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.535244Z","title":"BAM: Efficient Model Checking for Barriers","venue":null,"work_id":"124480f4-92ec-487f-8944-23920db9224f","year":2021},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.296584Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:c23e0e0aa34d78f9b53430ea1bcc6db097a0321954ff2178b9bc78fd660ad252","observation_id":"0e7e2cfd-6e90-46ec-be06-3d06ecdc3d0a","resolution":{"observed_at":"2026-08-12T13:01:20.538744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.524881Z","title":"Partial Order Reduction for Event-Driven Multi-threaded Programs","venue":null,"work_id":"18631267-785b-4305-98ae-cbca955dbe95","year":2016},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.299844Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:493f743650e6ffaa517f494da48498e570fae0605c5d7bdeca745588d6f79cb9","observation_id":"c1af8f51-3426-4f37-8500-e4124e998ad3","resolution":{"observed_at":"2026-08-12T13:01:20.528687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.515356Z","title":"Mazurkiewicz","venue":null,"work_id":"e3f85da1-8166-4331-b958-0ecd6a6b82c2","year":1995},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.303094Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:841020ee5bd62cbf480d26d1db2d80b69bc641dcccaafc315ba34f388394dc9c","observation_id":"05693fbf-e099-4c42-89ec-c37d442395d6","resolution":{"observed_at":"2026-08-12T13:01:20.518721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.505791Z","title":"Trace aware random testing for distributed systems","venue":null,"work_id":"701020a8-248a-4006-b1eb-c0c3ea42c528","year":2019},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.306504Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:0e6ecf934672c9c84742ae87bb2255038eb8cd22cf61f3163619c011b0b0eae5","observation_id":"d6593cf3-f448-40d3-bd80-c5a5c956a1bb","resolution":{"observed_at":"2026-08-12T13:01:20.509056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.496402Z","title":"Partial-order reduction","venue":null,"work_id":"92dc0775-e2fc-45a5-b870-2542db0d44d7","year":null},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.309959Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:8ab7e747cf86a853705d37452779179a0d016d0f0d8d0a897409a35b41a78b69","observation_id":"a7bb6393-2811-4f2c-9a45-bdb86808a787","resolution":{"observed_at":"2026-08-12T13:01:20.499551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.487693Z","title":"Peterson","venue":null,"work_id":"00955f6e-51a0-489c-8ffd-fb43054f5efb","year":1981},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.313352Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:134a259b081f3afd4b6384999d5139447790efecbb67b4ed23f6cb69f8f265c2","observation_id":"751bfdb0-9550-49b2-a364-cd9b4d0f717a","resolution":{"observed_at":"2026-08-12T13:01:20.490836Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.477654Z","title":"Efficient State-Space Exploration for Asynchronous Distributed Pro- grams: Adapting Unfolding-Based Dynamic Partial Order Reduction to MPI Programs","venue":null,"work_id":"44603d60-7037-43b2-9634-19f80b19b83c","year":2019},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.316686Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:f788d1b3995a5267032f4b2ca4a319b5579593ba98fe432be18cd241c2ebc24f","observation_id":"06073080-d637-4cb8-86f7-ce530a154ad3","resolution":{"observed_at":"2026-08-12T13:01:20.481823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.468062Z","title":"Unfolding-based Partial Order Reduction","venue":null,"work_id":"182c435a-eec7-46b1-b79d-c71773c5ce40","year":2015},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.319945Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:981ca11cbdb5ecb5ed2c65bb92584772872abbe8fa23b61ac630f08c1a1483ef","observation_id":"fadfbaf7-233b-4eb0-aedc-7e9cee9f0bdf","resolution":{"observed_at":"2026-08-12T13:01:20.471536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.458541Z","title":"Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, and Gul Agha","venue":null,"work_id":"edbab75b-c1c0-48de-83b4-390224a417c6","year":2012},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.322886Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:c3cf8e6cd30180ce14579a2bcd1818685642ddd95a76e99034f77567b7423fba","observation_id":"061b5c8a-ecb9-404c-a514-8c02d6dad8ed","resolution":{"observed_at":"2026-08-12T13:01:20.461958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.448228Z","title":"A State Space Tool for Concurrent System Models Expressed In C++","venue":null,"work_id":"26f1b574-ecff-4f8a-ae4b-2dd41d3addec","year":null},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.325944Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:493c006d673860a4bd7b54001f5c3513d964146a0b05d74897377e1b2620e341","observation_id":"32c3b8d7-1d2c-4e65-9ed4-c6d2ddc218e6","resolution":{"observed_at":"2026-08-12T13:01:20.452034Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.438425Z","title":"Stubborn sets for reduced state space generation","venue":null,"work_id":"823370de-036f-47ca-a50a-897306c85546","year":1990},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.329320Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:fa3208e923714e414fda948912e633e976c7b2c32eb9d53020efc89a63605377","observation_id":"372c70e0-db01-4db7-b073-023f9b31c521","resolution":{"observed_at":"2026-08-12T13:01:20.441878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.427613Z","title":"The state explosion problem","venue":null,"work_id":"3ea8fb7e-54d2-4b39-bb10-9cd302d01825","year":1998},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.332651Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:1a9f59efff406888c512f9f58398eb048239ac0dee40da9c0b49f31f0876b022","observation_id":"b2c677c7-e6af-477f-be63-baa7d991bd8b","resolution":{"observed_at":"2026-08-12T13:01:20.431575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.416467Z","title":"Stop It, and Be Stubborn! ACM Transactions on Embedded Computing Systems, 16(2):1–26, 2017","venue":null,"work_id":"957b5f29-9a68-48a0-be52-ff1569c7fe23","year":2017},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.335678Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:ca5347e339e05f18e4ec635f928a955949aa224b80f499ec63d366f268a0e979","observation_id":"3ab722a5-ee96-45df-8dad-82e312bac537","resolution":{"observed_at":"2026-08-12T13:01:20.420026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.405935Z","title":"Stubborn Set Intuition Explained","venue":null,"work_id":"b48a2779-b36e-40d8-b625-0d4a9c30ddb9","year":2017},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.338558Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:af0386dc6d965ac4fdb1b6273e8ae9b18150fd2f65ded2f881c1cd6ee4208f13","observation_id":"b08f4ec5-5648-4823-acde-a40d80ce1feb","resolution":{"observed_at":"2026-08-12T13:01:20.409298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.395502Z","title":"Verifying multi-threaded software with impact","venue":null,"work_id":"123e9c28-d8e5-4011-8f9f-f89df417a045","year":2013},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.341584Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:8436b0b3cb8fe5a3385a71fe924e7a3a02e1c1500b268ca31f0de63ec27fae1b","observation_id":"663c3378-0bf0-4823-8d01-03c36ffda640","resolution":{"observed_at":"2026-08-12T13:01:20.399222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.384423Z","title":"Peephole Partial Order Reduction","venue":null,"work_id":"22e2e5ef-aa6d-43ee-a81b-d0dcec2fded6","year":2008},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.344618Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:1280491cbfed28191a2256d38c45d6e08f940c56d15fb71b4a6790b599c9412f","observation_id":"7a28a6fa-c350-4004-8638-f4440dff550c","resolution":{"observed_at":"2026-08-12T13:01:20.388780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:01:20.372971Z","title":null,"venue":null,"work_id":"2433dea4-4eac-4469-9cf9-ca52bfdd42bc","year":2008},"citing_paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T13:01:20.347623Z"},"links":{"citing_paper":"/paper/2411.16921"},"observation_digest":"sha256:8dfe9362d38810842cf7a39358651a31720dcaa1ca84f2ccb3f47c284cf45335","observation_id":"2cc1cc01-31b7-4151-b879-a2e149618532","resolution":{"observed_at":"2026-08-12T13:01:20.377582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.16921","last_updated":"2024-11-25T20:45:28Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T12:42:32.937889Z","submitted_at":"2024-11-25T20:45:28Z","title":"Revisiting Stateful Partial-Order Reduction"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":42},"total_outbound_references":43},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2411.16921."}