{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:IBBSJC23UC5IZOVN65XH4EEKW6","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":"9f10d8ed867ca91192d02685723aa0b23881ec6a24ac14380e6491b5d2bae3b4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-04-12T10:47:24Z","title_canon_sha256":"1a99175da512e9137ba75876a1b01d2688a33424db6d64ae452ae5238619ea35"},"schema_version":"1.0","source":{"id":"1904.06152","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06152","created_at":"2026-05-17T23:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06152v2","created_at":"2026-05-17T23:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06152","created_at":"2026-05-17T23:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"IBBSJC23UC5I","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"IBBSJC23UC5IZOVN","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"IBBSJC23","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:64c1a6d818fb404b4508458175566a0ff4ffea2b31b475d2fc13b762a00d9325","target":"graph","created_at":"2026-05-17T23:40:17Z","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":"Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and adaptability. Here, we describe an approach to integrate software model checking techniques into the DevOps culture by exploiting practices such as continuous integration and regression tests. In particular, our proposed approach looks at the modifications to the software system since its last verification, and submits them to a continuous formal verification process, guided by a set of regression test cases. Our visi","authors_text":"Felipe R. Monteiro, Lucas C. Cordeiro, Mikhail R. Gadelha","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-04-12T10:47:24Z","title":"Boost the Impact of Continuous Formal Verification in Industry"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06152","kind":"arxiv","version":2},"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:8f107c2571f3361cb189cbf36f3408c8e6b98b11c55f5010cc9e12ac19c15ff8","target":"record","created_at":"2026-05-17T23:40:17Z","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":"9f10d8ed867ca91192d02685723aa0b23881ec6a24ac14380e6491b5d2bae3b4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-04-12T10:47:24Z","title_canon_sha256":"1a99175da512e9137ba75876a1b01d2688a33424db6d64ae452ae5238619ea35"},"schema_version":"1.0","source":{"id":"1904.06152","kind":"arxiv","version":2}},"canonical_sha256":"4043248b5ba0ba8cbaadf76e7e108ab7bbf8694f71acf553265e5f860e7b7404","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4043248b5ba0ba8cbaadf76e7e108ab7bbf8694f71acf553265e5f860e7b7404","first_computed_at":"2026-05-17T23:40:17.269781Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:17.269781Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UBApJOFaOINkFoyriyDG3XJ4qxkBWUIfKEGNmc7G3/BNlcLv0V4ZXmRABB5sWDCUvfVljambtfVdzgBW2/VDAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:17.270521Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.06152","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f107c2571f3361cb189cbf36f3408c8e6b98b11c55f5010cc9e12ac19c15ff8","sha256:64c1a6d818fb404b4508458175566a0ff4ffea2b31b475d2fc13b762a00d9325"],"state_sha256":"24a6a4157d0e04350b8668ea68b178ef80f9656df0f958c9e744d599a07e204b"}