{"as_of":"2026-08-13T09:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e01018c6e6bf23a580ccd03579098141805d510ddbb990b798053a0b7f6ef7c6","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:59:59.423695Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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.13722/citation-record","integrity":"/paper/2411.13722/integrity","json":"/paper/2411.13722/citation-record.json","paper":"/paper/2411.13722"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2010.07031","last_updated":"2020-10-15T07:35:52Z","snapshot_observed_at":"2026-07-06T10:04:21.217242Z","submitted_at":"2020-10-14T12:42:28Z","title":"A Tendermint Light Client","version":2},"cited_work":{"arxiv_id":"2010.07031","doi":"10.48550/arxiv.2010.07031","metadata_source":"pith","pith_arxiv_id":"2010.07031","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"A Tendermint Light Client","venue":"cs.DC","work_id":"93ac93db-46bf-4a40-b0bb-90cc72afe994","year":2020},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.278092Z"},"links":{"cited_paper":"/paper/2010.07031","citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:d70b740f753466fabfe26654d36916471613aaa74fc9356e4de22ece552fad9c","observation_id":"37530d2d-7927-480b-8e65-907c75210bca","resolution":{"observed_at":"2026-08-12T15:59:59.700032Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.283770Z","title":"Pro- ceedings of the VLDB Endowment13(9), 1346–1358 (May 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.283770Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:f479d57080af9936c35c3903e82a323ce1981859984f8e0df7f498631d7c95b2","observation_id":"68bb099e-a096-4551-bae0-14e50d8a84e5","resolution":{"observed_at":"2026-08-12T15:59:59.283770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-90870-6_42","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.674123Z","title":"In: Huisman, M., Păsăreanu, C., Zhan, N","venue":null,"work_id":"0dddc1b7-e7ba-40a1-87dd-8546d1dcedc4","year":2021},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.288252Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:815c607b2f69df5f7ec68b08e1fd38cb2113eafd9ac2a781919213e481cb1340","observation_id":"9bde291c-f2ff-4f2f-89a6-b48c88ca5121","resolution":{"observed_at":"2026-08-12T15:59:59.678584Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5811.2022","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:00:00.121142Z","title":"In: 2022 41st International Symposium on Reliable Distributed Systems (SRDS)","venue":null,"work_id":"9f3e0184-790f-4db0-95ac-73492957f798","year":2022},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.293730Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:6cff1a2d3aabcab1de1656b3e1453c6416caaa55f1bef8fa259f8b6f832e5cf3","observation_id":"f7906860-c5bd-45f3-b7f5-5bb94f63a2f9","resolution":{"observed_at":"2026-08-12T16:00:00.128633Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:00:00.280958Z","title":null,"venue":null,"work_id":"fefab2d0-91b4-486c-a09b-c6bbf6fda8d5","year":2023},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.299162Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:dbf4dd7fd2143cb6cd720e18e8c07c2d8f735b6f18302d1492f83616258e0974","observation_id":"0fa4e397-337b-46d0-8919-7fd3f3883f7c","resolution":{"observed_at":"2026-08-12T16:00:00.285576Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.306059Z","title":"In: 2023 IEEE/ACM 45th International Conference on Soft- ware Engineering: Software Engineering in Practice (ICSE-SEIP)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.306059Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:e6f11a51a9d98d0fb164d466d5590809b74f3a586ac1c3c4250f8b32d31dacdc","observation_id":"f33d667e-8b50-469a-a46d-d7782de6b085","resolution":{"observed_at":"2026-08-12T15:59:59.306059Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.310781Z","title":"In: Proceedings of the 5th ACM Computer Science in Cars Symposium","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.310781Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:33df4a2584ab2643286364dfd24f5149b8b4ae61087ea577f92c46ab745f8fa0","observation_id":"32b792d3-8707-4797-b5d2-101d9c9d9248","resolution":{"observed_at":"2026-08-12T15:59:59.310781Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-17581-2_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.658778Z","title":"In: Artho, C., Ölveczky, P.C","venue":null,"work_id":"e8523721-9489-4a46-b2b5-ca860a851845","year":2015},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.315489Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:69232bc1a953c802f54845e3866d1d4a28d9a8f53b77348d11006298d733e8d0","observation_id":"75ec9b90-0e1e-47ea-b90b-be80f8c1bc61","resolution":{"observed_at":"2026-08-12T15:59:59.664535Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-43652-3_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.639111Z","title":"In: Ait Ameur, Y., Schewe, K.D","venue":null,"work_id":"55f90d5d-8590-45b7-a662-0b32b161d8f4","year":2014},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.320734Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:93f814135d2b91dacaf4b67f94a7ae9b36bfd981543623c58a54f1c3b0af9cd6","observation_id":"89db6492-8642-4210-8686-07e3bb179bad","resolution":{"observed_at":"2026-08-12T15:59:59.646392Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.325608Z","title":"Communications of the ACM 58(4), 66–73 (Mar 2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.325608Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:6472b7219bf420f7709ab859b4486abec7958b8e158acb32981c65e2ccceb2b8","observation_id":"c03651b1-07cf-4b44-92d8-939578b445b3","resolution":{"observed_at":"2026-08-12T15:59:59.325608Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-95561-8_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.611206Z","title":"In: Bloem, R., Dimitrova, R., Fan, C., Sharygina, N","venue":null,"work_id":"7f0bd627-bfae-445b-95fe-348b4c408229","year":2022},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.329957Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:740eb7030df427bbb568d35c486f295f497418d18781cb4168889e588076be10","observation_id":"eb2f0161-46c5-4ae3-aa72-da4fe7e39af9","resolution":{"observed_at":"2026-08-12T15:59:59.615622Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/issrew.2017.43","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.596061Z","title":"In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","venue":null,"work_id":"a2c31fa2-8caf-4eac-b653-1d0405b7253d","year":2017},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.334383Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:d009d6d168cf9ae8059b1dca7da8924d55141ebb9fc81e38a36aeed44bd252fe","observation_id":"56699d23-a6c3-4591-9773-f2f80f7876d7","resolution":{"observed_at":"2026-08-12T15:59:59.601540Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.11286","last_updated":"2019-11-26T00:00:35Z","snapshot_observed_at":"2026-08-02T08:23:00.708055Z","submitted_at":"2019-11-26T00:00:35Z","title":"LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.11286","snapshot_observed_at":"2026-08-12T15:59:59.339630Z","title":"https: //doi.org/10.48550/arXiv.1911.11286 10 R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.339630Z"},"links":{"cited_paper":"/paper/1911.11286","citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:c9df04dcf22a8639d4a02a776ed86552000285c5081239c64214f43356498c0e","observation_id":"195c4b83-c3dd-40b1-86b7-7727a4607f6a","resolution":{"observed_at":"2026-08-12T15:59:59.339630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-34647-8_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.568465Z","title":"In: Staggs, J., Shenoi, S","venue":null,"work_id":"920597f3-e857-4cbf-99e9-53bc41ee29aa","year":2019},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.345419Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:c6875e7425fd4e86315e101d27b1ba606b796c818830064b392bfd2fabc68e01","observation_id":"bcf5b606-8309-4232-ae5a-a532a34dc9b2","resolution":{"observed_at":"2026-08-12T15:59:59.573715Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/weti","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.906739Z","title":"In: 2020 IEEE 29th In- ternational Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","venue":null,"work_id":"caa8444e-8652-4779-8912-0e226a69a840","year":2020},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.350522Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:9cb532639e364beb9dbe82a6fd03e62ed0a69ad3fd9d14e7f9fd71df22ff370e","observation_id":"0dee3b3d-7ae6-4f60-9495-58ba65a2529d","resolution":{"observed_at":"2026-08-12T15:59:59.911478Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.354547Z","title":"https://doi.org/10.48550/arXiv.2 102.11960 References (Other)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.354547Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:d95135e00c7fa6a22fadc3ce91047ef5d86c36091e730bebad88b994f692a41c","observation_id":"d02af56b-8904-46a1-8ac0-6454dec562ba","resolution":{"observed_at":"2026-08-12T15:59:59.354547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3241737","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:00:00.264724Z","title":"ACM Computing Surveys 51(5), 105:1–105:38 (Nov 2018)","venue":null,"work_id":"4b0570cf-7c78-48e0-bf2f-6e5fcb5aee64","year":2018},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.361430Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:1829ad5ad7406b06c1491b66e435d027a08c8e1b2b94aaf650e9ce8972da30b7","observation_id":"bdc3fb12-2820-439d-b60d-b64280eb8151","resolution":{"observed_at":"2026-08-12T16:00:00.269982Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.366146Z","title":"MethodsX9, 101895 (Jan 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.366146Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:8a4595cc20d9ef8fd02a3e195745dfcca2da4e0f89c4693b561153abdfb9fa0c","observation_id":"80059436-e41d-4ace-8739-7f0a32773814","resolution":{"observed_at":"2026-08-12T15:59:59.366146Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.371974Z","title":"In: Meyer, B., Nordio, M","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.371974Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:5cb3e7c11cec70ff72cea37ad848aa9eb4550411c5722c82d61c77f057e72a05","observation_id":"6b954d50-a1d8-4376-ac8a-65ee693a0c00","resolution":{"observed_at":"2026-08-12T15:59:59.371974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.techfore.2016.04.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.536227Z","title":"Technological Forecasting and Social Change108, 28–41 (Jul 2016)","venue":null,"work_id":"7b07e0a5-e964-48e8-ae08-e5acceaee79c","year":2016},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.377322Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:4ab26ce764c07640d8ba6983020e3a284cbd7ed0562203ee0414faa5f1a3ef51","observation_id":"5b71aa4e-3c47-4007-bfd7-47446b6e6167","resolution":{"observed_at":"2026-08-12T15:59:59.541389Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:00:00.250190Z","title":null,"venue":null,"work_id":"6dcdb710-3279-4276-9f7d-716aaf9d36a5","year":2007},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.382464Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:96306b9e344fcc40f1cc614c7482a85d46d19bec6f251091e38b7d1e5fee0673","observation_id":"51ea1c4a-96a8-43f3-9f0e-d3650f99e232","resolution":{"observed_at":"2026-08-12T16:00:00.254897Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:00:00.232755Z","title":"Addison-Wesley (Jun 2002), https://www.microsoft.co m/en-us/research/uploads/prod/2018/05/book-02-08-08.pdf","venue":null,"work_id":"dbe1b33a-6c1c-4bd6-8cfa-d928fe40f43a","year":2002},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.388084Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:269ab440dc26d8b051647223154d1490393c48279adcc2eb6bcbc3a2ca55c3b8","observation_id":"8bc30219-d916-4dbe-873c-189822485a37","resolution":{"observed_at":"2026-08-12T16:00:00.237735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-03466-4_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.522596Z","title":"In: Leucker, M., Morgan, C","venue":null,"work_id":"49018163-2ac6-495d-9914-9857465abfe2","year":2009},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.392760Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:55fbb5494f374f9dbc87422f914380fa46dc6b14168a64ac3694ca2dd4cebed8","observation_id":"00a2c205-f57b-444a-9bc0-020e7c18c620","resolution":{"observed_at":"2026-08-12T15:59:59.526839Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.398551Z","title":"Information and Software Technology 64, 1–18 (Aug 2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.398551Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:c60347f633f6d2f48133b4ba56d612bc08b63996d06f6af91d932bfc15c337a1","observation_id":"0d81b409-0606-4009-a51c-0f46eff93023","resolution":{"observed_at":"2026-08-12T15:59:59.398551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.404406Z","title":"In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.404406Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:6f67ec1365c78e91711fcd7cbfc3064cc8603876e6912db223ddcb681d2a48e9","observation_id":"f1b0face-2b6d-4a03-8236-0f317913c61b","resolution":{"observed_at":"2026-08-12T15:59:59.404406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.16345","last_updated":"2020-10-30T16:05:00Z","snapshot_observed_at":"2026-08-02T22:16:24.321291Z","submitted_at":"2020-10-30T16:05:00Z","title":"Towards making formal methods normal: meeting developers where they are","version":1},"cited_work":{"arxiv_id":"2010.16345","doi":"10.48550/arxiv.2010.16345","metadata_source":"pith","pith_arxiv_id":"2010.16345","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"Towards making formal methods normal: meeting developers where they are","venue":"cs.LO","work_id":"b7aa6b31-f8b0-44e9-ac7c-6e75a26f8970","year":2020},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.409367Z"},"links":{"cited_paper":"/paper/2010.16345","citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:d8cb507407368aff800ac05d7e314b90339f2c07ac36a968264ef733804e2b80","observation_id":"c93aac08-03c6-48f7-bda6-aa06fbbc7fdf","resolution":{"observed_at":"2026-08-12T15:59:59.488883Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:00:00.217137Z","title":"Social science, Free Press, New York Lon- don Toronto Sydney, 5 edn","venue":null,"work_id":"b29a0aff-d42c-40ad-b413-e28e33088f03","year":2003},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.414482Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:d609054bc3aa6fef083ff40798ff575efc79d5e5e52d29baf58d490576687253","observation_id":"8485d2a2-49d8-4fda-9031-d32c21052df0","resolution":{"observed_at":"2026-08-12T16:00:00.221952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.419412Z","title":"IEEE Access8, 36226–36243 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.419412Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:37e492fd990f640c335be63f16f740d90d7062e7f052a9d84ebe18ef8b60d604","observation_id":"1cfbca93-eec8-4dec-929f-4051e7953ce0","resolution":{"observed_at":"2026-08-12T15:59:59.419412Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/b9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:59:59.459218Z","title":"In: Menzies, T., Williams, L., Zimmermann, T","venue":null,"work_id":"d4fd32f9-2a76-4e1f-af08-1f37036f7ab9","year":2016},"citing_paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:59:59.423695Z"},"links":{"citing_paper":"/paper/2411.13722"},"observation_digest":"sha256:200681ad2049ee82a76bff1024c764ace250cd575536c1c1d33890ec201dcff7","observation_id":"c2738e0b-202b-4df4-81a6-76341c17f8ab","resolution":{"observed_at":"2026-08-12T15:59:59.468233Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13722","last_updated":"2024-11-20T21:55:28Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T15:55:24.088565Z","submitted_at":"2024-11-20T21:55:28Z","title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":4,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":11,"verified_exact":10,"verified_fuzzy":2},"total_outbound_references":29},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2411.13722."}