{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:TYFIF74BR5DVBHWO2QEQZXPF3B","short_pith_number":"pith:TYFIF74B","schema_version":"1.0","canonical_sha256":"9e0a82ff818f47509eced4090cdde5d866ad262da8c3a6e10a0af371bf174ad9","source":{"kind":"arxiv","id":"2606.29006","version":1},"attestation_state":"computed","paper":{"title":"Automated SysML-Based Verification of Discipline-Specific Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Marley, Siyuan Ji","submitted_at":"2026-06-27T16:56:22Z","abstract_excerpt":"Current examples of SysML-based verification of discipline-specific models in the literature typically have two flaws. Firstly, they are developed in a tool-specific manner using proprietary APIs, limiting portability. Secondly, they focus on performance properties modelled via parametric diagrams, overlooking behavioural and interface properties that also require verification. This project addresses the problem with a verification process tailored to model-based verification, informed by common SysML tool capabilities and the UML Testing Profile, that enables automated verification of discipl"},"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":"2606.29006","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-27T16:56:22Z","cross_cats_sorted":[],"title_canon_sha256":"f80f8325d5636493ff9dd7e5a20e0efe0408fb16a4ba2f981fcff91be650effc","abstract_canon_sha256":"b9ae118f4ce9771b51d56f37bd165ce7fcd0984291a39266455c1728ede34ec5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T01:17:49.211442Z","signature_b64":"W6ejlEdKrtjP+kjdnr8EDlDIBsgLeMLxu7G+6vdGCwLWfHThicgR5ZmFOQ2Mdn5JgMym23P1MHaPlOF+xnFeCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e0a82ff818f47509eced4090cdde5d866ad262da8c3a6e10a0af371bf174ad9","last_reissued_at":"2026-06-30T01:17:49.210862Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T01:17:49.210862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated SysML-Based Verification of Discipline-Specific Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Marley, Siyuan Ji","submitted_at":"2026-06-27T16:56:22Z","abstract_excerpt":"Current examples of SysML-based verification of discipline-specific models in the literature typically have two flaws. Firstly, they are developed in a tool-specific manner using proprietary APIs, limiting portability. Secondly, they focus on performance properties modelled via parametric diagrams, overlooking behavioural and interface properties that also require verification. This project addresses the problem with a verification process tailored to model-based verification, informed by common SysML tool capabilities and the UML Testing Profile, that enables automated verification of discipl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29006","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.29006/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2606.29006","created_at":"2026-06-30T01:17:49.210964+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.29006v1","created_at":"2026-06-30T01:17:49.210964+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29006","created_at":"2026-06-30T01:17:49.210964+00:00"},{"alias_kind":"pith_short_12","alias_value":"TYFIF74BR5DV","created_at":"2026-06-30T01:17:49.210964+00:00"},{"alias_kind":"pith_short_16","alias_value":"TYFIF74BR5DVBHWO","created_at":"2026-06-30T01:17:49.210964+00:00"},{"alias_kind":"pith_short_8","alias_value":"TYFIF74B","created_at":"2026-06-30T01:17:49.210964+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/TYFIF74BR5DVBHWO2QEQZXPF3B","json":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B.json","graph_json":"https://pith.science/api/pith-number/TYFIF74BR5DVBHWO2QEQZXPF3B/graph.json","events_json":"https://pith.science/api/pith-number/TYFIF74BR5DVBHWO2QEQZXPF3B/events.json","paper":"https://pith.science/paper/TYFIF74B"},"agent_actions":{"view_html":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B","download_json":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B.json","view_paper":"https://pith.science/paper/TYFIF74B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.29006&json=true","fetch_graph":"https://pith.science/api/pith-number/TYFIF74BR5DVBHWO2QEQZXPF3B/graph.json","fetch_events":"https://pith.science/api/pith-number/TYFIF74BR5DVBHWO2QEQZXPF3B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B/action/storage_attestation","attest_author":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B/action/author_attestation","sign_citation":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B/action/citation_signature","submit_replication":"https://pith.science/pith/TYFIF74BR5DVBHWO2QEQZXPF3B/action/replication_record"}},"created_at":"2026-06-30T01:17:49.210964+00:00","updated_at":"2026-06-30T01:17:49.210964+00:00"}