{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:RDF4QWQEM4NBQ4DHCN2GZ65VW2","short_pith_number":"pith:RDF4QWQE","schema_version":"1.0","canonical_sha256":"88cbc85a04671a18706713746cfbb5b6a550c2c64b09979f3240b372ff8e32e6","source":{"kind":"arxiv","id":"1706.03796","version":1},"attestation_state":"computed","paper":{"title":"Verification Coverage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Diego Garbervetsky, Rodrigo Casta\\~no, Sebastian Uchitel, Victor Braberman","submitted_at":"2017-06-12T18:17:05Z","abstract_excerpt":"Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly effective, leading to a number of high-profile success stories. However, widespread adoption remains unlikely in the short term and one of the remaining obstacles in that direction is the vast number of instances which software model checkers cannot fully analyze within reasonable memory and CPU bounds. The majority of verification tools fail to provide a measure of progress or any intermediate verification result when"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1706.03796","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-12T18:17:05Z","cross_cats_sorted":[],"title_canon_sha256":"1a327544776e82877c7955d245f80b0c12f581e28c5a039367b2a601c68abe75","abstract_canon_sha256":"1bbef86e0dd31a6d52e50b09616abd235dcb7f8107c48da2826502443c3376bb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:28.339468Z","signature_b64":"hsQpPRXdKS7jJundO6YLNz2rEdm5PCRXSA3uwoHKjmLLG5tbipfvirmL3l63CBpa7zgX37OCJ9n4ZU5QUFsvBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"88cbc85a04671a18706713746cfbb5b6a550c2c64b09979f3240b372ff8e32e6","last_reissued_at":"2026-05-18T00:42:28.339053Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:28.339053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verification Coverage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Diego Garbervetsky, Rodrigo Casta\\~no, Sebastian Uchitel, Victor Braberman","submitted_at":"2017-06-12T18:17:05Z","abstract_excerpt":"Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly effective, leading to a number of high-profile success stories. However, widespread adoption remains unlikely in the short term and one of the remaining obstacles in that direction is the vast number of instances which software model checkers cannot fully analyze within reasonable memory and CPU bounds. The majority of verification tools fail to provide a measure of progress or any intermediate verification result when"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.03796","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1706.03796","created_at":"2026-05-18T00:42:28.339119+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.03796v1","created_at":"2026-05-18T00:42:28.339119+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.03796","created_at":"2026-05-18T00:42:28.339119+00:00"},{"alias_kind":"pith_short_12","alias_value":"RDF4QWQEM4NB","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"RDF4QWQEM4NBQ4DH","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"RDF4QWQE","created_at":"2026-05-18T12:31:39.905425+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2","json":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2.json","graph_json":"https://pith.science/api/pith-number/RDF4QWQEM4NBQ4DHCN2GZ65VW2/graph.json","events_json":"https://pith.science/api/pith-number/RDF4QWQEM4NBQ4DHCN2GZ65VW2/events.json","paper":"https://pith.science/paper/RDF4QWQE"},"agent_actions":{"view_html":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2","download_json":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2.json","view_paper":"https://pith.science/paper/RDF4QWQE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.03796&json=true","fetch_graph":"https://pith.science/api/pith-number/RDF4QWQEM4NBQ4DHCN2GZ65VW2/graph.json","fetch_events":"https://pith.science/api/pith-number/RDF4QWQEM4NBQ4DHCN2GZ65VW2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2/action/storage_attestation","attest_author":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2/action/author_attestation","sign_citation":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2/action/citation_signature","submit_replication":"https://pith.science/pith/RDF4QWQEM4NBQ4DHCN2GZ65VW2/action/replication_record"}},"created_at":"2026-05-18T00:42:28.339119+00:00","updated_at":"2026-05-18T00:42:28.339119+00:00"}