{"as_of":"2026-08-16T18:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0672f1f88bac91801c045ebcca131123282e59476dca0ad4a94187ce9abb7229","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:49:17.173634Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.00591/citation-record","integrity":"/paper/1908.00591/integrity","json":"/paper/1908.00591/citation-record.json","paper":"/paper/1908.00591"},"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-14T15:49:17.850923Z","title":null,"venue":null,"work_id":"4d84083a-aee1-4be5-b12f-47e27a0840a4","year":1996},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.884881Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:7696de2dcf07ed34b301741100f60af439c8a801659921729ad157ae69ac7f9d","observation_id":"7e3ff90e-027e-48fc-96fa-1c0a878cf6b6","resolution":{"observed_at":"2026-08-14T15:49:17.855543Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.837093Z","title":"Schneider","venue":null,"work_id":"ca20f17f-c6e6-4557-859a-11b9912ef1df","year":1985},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.889979Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:4522eedaea53beea8ab3aa6ba1bf851d87e1b28930d61f19a4f9286ac38a34ed","observation_id":"eed20021-e571-41e2-8031-9a33b7f10126","resolution":{"observed_at":"2026-08-14T15:49:17.841589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.823178Z","title":"Anderson","venue":null,"work_id":"6b08b245-b752-494c-8369-e7a5057ef97d","year":1972},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.895144Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:6e2cf3592bb1c07bd167ac6e8ee60a5259fcce811ab65385870f9a46738e3827","observation_id":"8eb983ac-f9a1-4715-8087-0610386cdd1f","resolution":{"observed_at":"2026-08-14T15:49:17.827301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.809935Z","title":"System- level non-interference of constant-time cryptography","venue":null,"work_id":"f7292ca9-16d1-4236-a95c-0b0450804cda","year":2019},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.900440Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:a26e259bb2d134b39c44e6eea01dc5565ed45c8970e70d79797f7baee76dc063","observation_id":"ab57c9e5-f4c3-4d31-86d1-5948b70adac1","resolution":{"observed_at":"2026-08-14T15:49:17.814049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.797706Z","title":"System-level non-interference for constant-t ime cryptography","venue":null,"work_id":"d59e846b-af75-4488-a943-454b9a67bdf7","year":2014},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.906091Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:d3cedae5987a5dd8f0b7518fb46b723523c8b264542f27ca181c4dd9c045293e","observation_id":"190c18f4-ff18-4912-9b4b-2a418eb0830c","resolution":{"observed_at":"2026-08-14T15:49:17.801826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.784366Z","title":"A machine-checked formalization of sigma- protocols","venue":null,"work_id":"c24d6e71-35f9-4490-a8d5-cfc7666ad63e","year":2010},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.911447Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:b94abc82fd71857bc0b6e7df7bfaa3f8848da03d622bfa582f439c8759e61765","observation_id":"d932dc75-83c2-4730-b530-8cf1ff46a491","resolution":{"observed_at":"2026-08-14T15:49:17.788853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.770224Z","title":null,"venue":null,"work_id":"8338faa1-2eb4-4f51-87bc-425b987dabee","year":1973},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.917162Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:d4d3e30f289fae3b6f510a5f1c328719ef50050f23b10fb407c951ef88d9a0c3","observation_id":"80622b65-8cd9-4920-a546-2a9cb49c2990","resolution":{"observed_at":"2026-08-14T15:49:17.775204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.756438Z","title":"Interactive theorem proving and program development: Coq’ Art : the calculus of inductive constructions","venue":null,"work_id":"6c26b2a2-7682-4f1b-af6f-e5207f1ee050","year":2004},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.922675Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:9d04430a72be759406f61e5d98417d71a8b5ac8ca9f0e44fd75b30381be0a27f","observation_id":"dd762b05-17d6-4aa0-9886-50c16c71e94e","resolution":{"observed_at":"2026-08-14T15:49:17.761295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.742074Z","title":"Formal analysis of android’s permission-based security model,","venue":null,"work_id":"5f46a630-84d4-4621-8bde-2a3641d6ccde","year":2016},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.927545Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:5e57de5d1ca5ec29f5436b1c4d708af7784075fb2dc77eb4918331a88518dd78","observation_id":"416e5a12-cc6b-480c-92de-cb22c08f807a","resolution":{"observed_at":"2026-08-14T15:49:17.747335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1907.01688","last_updated":"2019-07-03T00:24:42Z","snapshot_observed_at":"2026-08-03T12:47:21.743825Z","submitted_at":"2019-07-03T00:24:42Z","title":"Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol","version":1},"cited_work":{"arxiv_id":"1907.01688","doi":null,"metadata_source":"pith","pith_arxiv_id":"1907.01688","snapshot_observed_at":"2026-08-14T15:49:17.208637Z","title":"Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol","venue":"cs.CR","work_id":"024f1a28-4f73-40a8-a08f-93c66110ca29","year":2019},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.934329Z"},"links":{"cited_paper":"/paper/1907.01688","citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:8e5086457b445bc93cfefee92c86730aa045f1550c75d4b1ddd96d772a387d08","observation_id":"7711b652-69ef-4400-98e4-95438c77d229","resolution":{"observed_at":"2026-08-14T15:49:17.216112Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.729676Z","title":"Formal ver- ification of smart contracts: Short paper","venue":null,"work_id":"16c71fe2-b2bf-46b6-88ef-d926523c1176","year":2016},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.943098Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:6de376155a88b25679c60a21c7bafbb502b39eb30a7731c29365d5340eda924e","observation_id":"5ded073b-e502-49ec-95b3-6abec19fa3db","resolution":{"observed_at":"2026-08-14T15:49:17.733736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.716229Z","title":"Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications","venue":null,"work_id":"12596317-d6f3-42f5-b1f0-f3c47b247a9a","year":2009},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.952826Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:1d8efb7d07989562b5c976f0897325c12c04a89cc61c7861f362f095229e1933","observation_id":"49e7422c-6012-45f7-8f22-ec385f31de1d","resolution":{"observed_at":"2026-08-14T15:49:17.720682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.702474Z","title":"Critical update re: Dao vulnerability","venue":null,"work_id":"871d7fc5-247f-46b1-b0bf-5380ce68e76d","year":2016},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.964067Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:db200f1715d81906a64829156fe738e47c0189d627e1424e6767f7fd26cda7ba","observation_id":"00ebd35f-e5fc-437e-987f-f17ef7151ede","resolution":{"observed_at":"2026-08-14T15:49:17.707122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.688865Z","title":"Clarke, Orna Grumberg, and Doron A","venue":null,"work_id":"7ed1063c-adf4-41b2-918e-ba345bc52526","year":2001},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.978280Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:8d972f551664a0b308638c436510374d9b13695188e7352da8d1908556581311","observation_id":"97337adf-2fe5-4f40-9aea-1134427a5965","resolution":{"observed_at":"2026-08-14T15:49:17.693650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.674351Z","title":"Cristi´ a, Pablo Albertengo, Claudia S","venue":null,"work_id":"d268cae5-c63c-4404-b286-22173b49c8c3","year":2014},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:16.998657Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:64634629dec303bce44d3a1ba6bd5a079d4bda515347d4e3a5b3ea5e6f58b5f3","observation_id":"07b995e0-9dfc-4051-b91f-2aa16fcddca0","resolution":{"observed_at":"2026-08-14T15:49:17.679742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.660957Z","title":"Cristi´ a and G","venue":null,"work_id":"4337985b-de06-4983-ad16-3d03c5f962bd","year":2014},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.023445Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:147ecf99fd4e6ad00b87306eb9b828cd56f6b8871f4d6054c8e3c75c1cb0f353","observation_id":"9ab3b7d8-e8a1-41d5-9583-93d895da6671","resolution":{"observed_at":"2026-08-14T15:49:17.664942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.646694Z","title":"Cristi´ a and G","venue":null,"work_id":"5ed1c745-7db6-4a6e-82c1-813321f6c85b","year":2017},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.027919Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:cfdfae7d0ce15767003419de5086357b827b97d1aca76333e4a7d4384e0209c6","observation_id":"2434424f-dc1a-4d69-ab0e-731710bc7f12","resolution":{"observed_at":"2026-08-14T15:49:17.651205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.631679Z","title":"Cristi´ a and G","venue":null,"work_id":"3bbfdfd6-1b42-4fcb-ae00-66e77699c9bd","year":2019},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.032834Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:0371ca587963ae6624efb34e09ffc7281a4d57f05511113939e86e75d362cd0d","observation_id":"156254af-64bf-4a6d-9669-e3c0f062e833","resolution":{"observed_at":"2026-08-14T15:49:17.636921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.618412Z","title":"Fry dman, Brian Pl¨ uss, and Pablo Rodr ´ ıguez Monetti","venue":null,"work_id":"88bed99d-54a8-4a48-8087-9ab357cbcc50","year":2011},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.037559Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:95942090b258584bc636e03f432127df822daaf7cb1808fa4d0ab6d99fbe8b0d","observation_id":"0b6d582f-957c-4d80-b2f5-bcc0c4c417ba","resolution":{"observed_at":"2026-08-14T15:49:17.622775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.604029Z","title":"Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, and Jim Woodcock","venue":null,"work_id":"5978bdb0-9a43-46ba-89fa-122b01ddbf24","year":2013},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.043336Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:cef4aee78b326cadd9d2b0c918bb53c5336729c34a11f371244582d654adf94a","observation_id":"5d1adb4f-ed7d-4a3c-8bf4-a0c045a50be0","resolution":{"observed_at":"2026-08-14T15:49:17.608863Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.588967Z","title":"Goguen and Jos´ e Meseguer","venue":null,"work_id":"fcbe2112-4902-429b-903b-8f59c8e0c2c2","year":1982},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.048469Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:b1a420d0cfcd79cbd78d37849af01aec829a78815d2295f8151c0dca4f9050ff","observation_id":"0fa644c3-0d90-49f4-9cd7-44c8eaff5cf0","resolution":{"observed_at":"2026-08-14T15:49:17.594045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.572471Z","title":"A semantic frame- work for the security analysis of ethereum smart contracts","venue":null,"work_id":"3d6e0415-dcd6-40a0-b4dd-a731622fc3c3","year":2018},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.053666Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:02a1b97136c5708fde83594b2b39a8e0ca91b28a58bf1182ed62718b1b1b9737","observation_id":"07b25181-052c-4fb0-8b20-007020517682","resolution":{"observed_at":"2026-08-14T15:49:17.578163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.558345Z","title":"Validation of formal models by refinement animation","venue":null,"work_id":"2bb37735-eb0a-4c3e-be39-46c473566e61","year":2013},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.058983Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:b00e2659a6cacd6db90b2d03e243ddbb8328f75b972bc6515443ef7cbd5d6905","observation_id":"f92e88b9-c42a-47f2-a3c6-b55acb683ce5","resolution":{"observed_at":"2026-08-14T15:49:17.562468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.543915Z","title":"Hierons, Kirill Bogdanov, Jonathan P","venue":null,"work_id":"3796f34e-dd83-484d-88c8-12908b1764e8","year":2009},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.063764Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:27f962919a3d503fbfbd86cfeda4019c0fc4b3ada6369fc41866e59dea23b387","observation_id":"931a32f6-3aed-46e6-9f72-7f5b14719d8f","resolution":{"observed_at":"2026-08-14T15:49:17.548529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.529406Z","title":"Defining the ethereum virtual machine for i nteractive theorem provers","venue":null,"work_id":"7f2e51ea-1cd4-4a0f-a0e5-8a41302dd860","year":2017},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.068494Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:5155e1711bc629936173b5b23289976a6db538624a7c9f310a29536118b6e358","observation_id":"059fc567-6bf6-4384-af01-fa0b9f0c2140","resolution":{"observed_at":"2026-08-14T15:49:17.534439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.514829Z","title":"Eval- uation of logic-based smart contracts for blockchain syste ms","venue":null,"work_id":"7d69d2d3-db08-441a-ac2e-00aa0b974756","year":2016},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.076124Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:2effeabc17d0b326ae7493347574d1e182e99e3d42f50e610daded0e9c3db741","observation_id":"ca6552b6-8401-465c-9f90-a9fa7bb4790e","resolution":{"observed_at":"2026-08-14T15:49:17.519254Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.501115Z","title":null,"venue":null,"work_id":"c846a21b-d8a8-44ea-9e51-45d8a3325066","year":1990},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.080851Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:eeaefd8d2b0b81063938c9d3182a281e2cd4866678930c7b1ff8a874a95eecdf","observation_id":"f80beb0f-3677-47a6-8046-365c4a8e2004","resolution":{"observed_at":"2026-08-14T15:49:17.505861Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.489059Z","title":"Murray, Thomas Sewell, Rafal Kolanski, and Gernot Heiser","venue":null,"work_id":"e52fb708-79c5-4c3d-9331-bfb44edb243a","year":2014},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.086023Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:07b17dadd59cb13baed04a5a1ede797cb83118b07c54cd41d0325347b419c13d","observation_id":"4b683ab0-3612-4c27-811c-ba76c1c6fef6","resolution":{"observed_at":"2026-08-14T15:49:17.492868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.476087Z","title":"Applying a formal method in industry: A 25-year trajectory","venue":null,"work_id":"8a1f3020-7240-41ea-b805-bf9cd2f62be3","year":2017},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.090768Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:241f17b1ffc8651a8525c524c0b2688ce3e51b44a0637e6fbafd0b0d1d2a7a02","observation_id":"e91fd1a1-2e74-442b-acfa-6172a80c5f1a","resolution":{"observed_at":"2026-08-14T15:49:17.480181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.462805Z","title":"Formal verification of a realistic compile r","venue":null,"work_id":"9ead07e9-300f-4491-9209-7ea764b6c3a3","year":2009},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.095549Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:d28c60f8709c3c9057f9793b81eebbe7695d9977bb5a59cfa6dcc72805b30773","observation_id":"e13113c5-6d68-4e66-a163-74022efff1f8","resolution":{"observed_at":"2026-08-14T15:49:17.467392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.449485Z","title":null,"venue":null,"work_id":"4c870057-5113-4628-ba16-a59a7dcce0eb","year":2008},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.100107Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:77e4df809c2ba0355886e979ac676e6ef97cfc684a01d987c01a52b85f335c67","observation_id":"5350cf93-61bc-4fa4-be90-1e9d656d84db","resolution":{"observed_at":"2026-08-14T15:49:17.453854Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.435195Z","title":"Mak- ing smart contracts smarter","venue":null,"work_id":"7c159454-a453-41f5-ab3a-9e89bc2ef340","year":2016},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.104757Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:2243724be696a317b29a9d18bb62ec7a08d496650a582a9a36a0c8a6cca3f92d","observation_id":"ad5046a1-bfe4-49f0-9b1a-e4af3bed3b92","resolution":{"observed_at":"2026-08-14T15:49:17.440149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.421688Z","title":null,"venue":null,"work_id":"8ec7f160-83bb-48d4-b6be-985ac57ec56f","year":2004},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.109266Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:4d3133ed9f456330fc8fd8920708ce8588cdfd6c015d3c96f4683b54e13aabb6","observation_id":"121cd8bf-4a0c-462b-9c79-e20341cb95a8","resolution":{"observed_at":"2026-08-14T15:49:17.426356Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.407465Z","title":"Nakamoto","venue":null,"work_id":"2caa1275-c2a4-4adb-be55-9746caabf65c","year":2009},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.113935Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:e4461d35b524912bc9fe6af8b7841583715a32edce4cd27b20b5a91f23c4c6cf","observation_id":"541c7b1c-1ef7-455a-8505-e16d6c33bee2","resolution":{"observed_at":"2026-08-14T15:49:17.412737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.393892Z","title":"Automated theorem proving - theory and practice","venue":null,"work_id":"22e572e4-2af9-4a27-9aef-f91554881858","year":2001},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.119533Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:a29a7531e4e11ce23d128f18d0e07f26fac4eb190cde673d2b93b3f88666c63b","observation_id":"d161b826-d006-41f2-829b-05f0e9d8de0b","resolution":{"observed_at":"2026-08-14T15:49:17.398595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.380487Z","title":"P ˆ ırlea and I","venue":null,"work_id":"52b56822-e4f2-431e-bbe3-799f763df4f4","year":2018},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.126508Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:6f1f4f442ac83e86479eb877b72ff24e846c99f7ffc9ff0f6dbfd34ea080541b","observation_id":"5173d0cf-8852-4db7-8c80-1e0214648f9f","resolution":{"observed_at":"2026-08-14T15:49:17.384653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.365655Z","title":"Ever- crypt: A fast, verified, cross-platform cryptographic prov ider","venue":null,"work_id":"0c146093-f921-4716-93d0-84555480efde","year":2019},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.132547Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:125bf2102277aee0755bc8c109b73392238bc98018e0f8b55f7115ea23099912","observation_id":"285fbe14-3dc1-46ae-80f6-a99df14ad5b9","resolution":{"observed_at":"2026-08-14T15:49:17.370595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.349884Z","title":"{log}, 2008","venue":null,"work_id":"80193e65-3bea-4f6b-b941-972ae1dd144d","year":2008},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.137840Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:305cc99e0dcdfbff9fede750da37844d92ab92f3f6516db04476c18395a5f98b","observation_id":"d3ec77c6-bb55-46a4-8fae-2844da48c8e3","resolution":{"observed_at":"2026-08-14T15:49:17.355366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.333213Z","title":null,"venue":null,"work_id":"df408cdd-9d7c-47d3-b8a7-208e33cf8e3a","year":1992},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.142888Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:a4aa225fdf3a1b587b3d6a4c6d83c5ff39a0d39aa8bfa5abfc678efacf955e57","observation_id":"74fed650-015a-4035-833a-aa566f40f0cf","resolution":{"observed_at":"2026-08-14T15:49:17.339204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.317354Z","title":"Carrington","venue":null,"work_id":"2a1ae8bf-55de-45e6-aebc-94b7cf98b69e","year":1996},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.147700Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:4b0c6d5f1c5c7dd87f5710d4f22de699dad60710811ab32611aabe05a7191c2e","observation_id":"6a322662-7468-490e-bea0-5aac2dbcc247","resolution":{"observed_at":"2026-08-14T15:49:17.322147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.303133Z","title":null,"venue":null,"work_id":"d6f69cb6-6b12-4c81-a0c0-cfe3bedc3556","year":2019},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.152447Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:20f85f01dac20d616da79308a9e6ceab63dc8e6b5f5c37687ea4132a1f4ab682","observation_id":"a17300a6-b8fe-4225-83b8-4741fcebbb53","resolution":{"observed_at":"2026-08-14T15:49:17.308198Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.287301Z","title":"Practical Model-Based Testing: A Tools Ap- proach","venue":null,"work_id":"2977ce16-d444-4d04-b412-faab9ddd8c3f","year":null},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.156890Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:c9f350fc76ecc11962658870a17b834e199b2218219b5aa9d1aee9e4dadf0de1","observation_id":"4e921f59-cb69-44bd-a992-7a1b4a95dc75","resolution":{"observed_at":"2026-08-14T15:49:17.292570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.272352Z","title":"Ethereum: A secure decentralised generalis ed transaction ledger eip- 150 revision (759dccd - 2017-08-07), 2017","venue":null,"work_id":"e77fca4d-3bac-4ad8-9c85-a3a866cdaba0","year":2017},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.160914Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:319ea45b7fc47aebbf0bc6a8da66cfce6da119fc52980670c53aca6a31314d76","observation_id":"d4142776-1277-4a93-9e2e-9eed2a849c2a","resolution":{"observed_at":"2026-08-14T15:49:17.277428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.258027Z","title":null,"venue":null,"work_id":"c3af2745-9c97-4628-baab-82282a188c48","year":null},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.165473Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:6d208ccff856c3555b6055af6b261ddac517a9ab05ab8466d1c7722bd49ed135","observation_id":"0ddb8667-f0e0-4af6-8076-e2a40b362fa6","resolution":{"observed_at":"2026-08-14T15:49:17.262707Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.241684Z","title":null,"venue":null,"work_id":"6f75eac8-8169-4c62-9b3b-7ee55c9180ea","year":null},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.169562Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:2965573cb360a509a4d8ea927f3c3fec8becde5aab5b95788d8bfca98d46d807","observation_id":"1599f38a-6c26-4f5b-b7bb-4446cc1ea335","resolution":{"observed_at":"2026-08-14T15:49:17.246634Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:49:17.226598Z","title":"A particular class of the idealized models mentioned above are those c alled se- curity models","venue":null,"work_id":"33f28609-6ead-4adc-9c92-eeb2282ebe41","year":1973},"citing_paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T15:49:17.173634Z"},"links":{"citing_paper":"/paper/1908.00591"},"observation_digest":"sha256:43fac2237a673ffd8b4b6afadd8f6739743706dc8550fa6bae2d68c64e09d8ea","observation_id":"292e7be7-6ba1-44ec-bb21-6715f7c6c7ac","resolution":{"observed_at":"2026-08-14T15:49:17.231627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.00591","last_updated":"2019-08-01T19:29:26Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T13:13:19.742769Z","submitted_at":"2019-08-01T19:29:26Z","title":"Set-Based Models for Cryptocurrency Software"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":1,"verified_fuzzy":36},"total_outbound_references":46},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:1908.00591."}