{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VXY7EWMKLA5RII3KLFFYMQ3L43","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"84175dbc68c33ccfaabdce32e9ed2b9dd0a57cc77d719a1c9e46ddeaf3c11131","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-23T11:44:57Z","title_canon_sha256":"c87c7fd35923065d05f7dfcf66dbfeeaee1b52c5aa48a112cb8f5aefe8ea18c0"},"schema_version":"1.0","source":{"id":"1811.09438","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.09438","created_at":"2026-05-18T00:00:03Z"},{"alias_kind":"arxiv_version","alias_value":"1811.09438v1","created_at":"2026-05-18T00:00:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.09438","created_at":"2026-05-18T00:00:03Z"},{"alias_kind":"pith_short_12","alias_value":"VXY7EWMKLA5R","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VXY7EWMKLA5RII3K","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VXY7EWMK","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:57d09af3fb7314e462e24ee537e478a7219ec9bd234e10bb2ab0acdf184d21c5","target":"graph","created_at":"2026-05-18T00:00:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"With declining costs and increasing performance, the deployment of renewable energy systems is growing faster. Particular attention is given to stand-alone solar photovoltaic systems in rural areas or where grid extension is unfeasible. Tools to evaluate electrification projects are available, but they are based on simulations that do not cover all aspects of the design space. Automated verification using model checking has proven to be an effective technique to program verification. This paper marks the first application of software model checking to formally verify the design of a stand-alon","authors_text":"Alessandro Trindade, Lucas Cordeiro","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-23T11:44:57Z","title":"Automated Verification of Stand-alone Solar Photovoltaic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.09438","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0efbefa0b5ff4eedd4c79ca8b26345a01e7c578948464a15813d0ad96b8e42cc","target":"record","created_at":"2026-05-18T00:00:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"84175dbc68c33ccfaabdce32e9ed2b9dd0a57cc77d719a1c9e46ddeaf3c11131","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-23T11:44:57Z","title_canon_sha256":"c87c7fd35923065d05f7dfcf66dbfeeaee1b52c5aa48a112cb8f5aefe8ea18c0"},"schema_version":"1.0","source":{"id":"1811.09438","kind":"arxiv","version":1}},"canonical_sha256":"adf1f2598a583b14236a594b86436be6c1339e9dfe703b197f1c1f0b93beab4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"adf1f2598a583b14236a594b86436be6c1339e9dfe703b197f1c1f0b93beab4a","first_computed_at":"2026-05-18T00:00:03.429220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:03.429220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zkQmF2tynl4wP7iGreEzIXQ8SFU5Ha6tpLlbwF8DUeEkN6biG7+SlSYlgXx0LARUVm90E4p0eCisT3nc87i8DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:03.429719Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.09438","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0efbefa0b5ff4eedd4c79ca8b26345a01e7c578948464a15813d0ad96b8e42cc","sha256:57d09af3fb7314e462e24ee537e478a7219ec9bd234e10bb2ab0acdf184d21c5"],"state_sha256":"44febb8a14d31f1669fd2e31cdb3413a4c87753d2e921d7e1e2cc68749c35f53"}