pith. sign in
Pith Number

pith:2Y7JZEJF

pith:2019:2Y7JZEJF3RVUPFCJFU2XKMAO4Z
not attested not anchored not stored refs pending

Model Based System Assurance Using the Structured Assurance Case Metamodel

Ran Wei, Richard Hawkins, Shuai Zhao, Tim P. Kelly, Xiaotian Dai

arxiv:1905.02427 v1 · 2019-05-07 · cs.SE

Add to your LaTeX paper
\usepackage{pith}
\pithnumber{2Y7JZEJF3RVUPFCJFU2XKMAO4Z}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp
2 Internet Archive
3 Author claim open · sign in to claim
4 Citations open
5 Replications open
Portable graph bundle live · download bundle · merged state
The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.
Receipt and verification
First computed 2026-06-19T16:10:26.705141Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

d63e9c9125dc6b4794492d3575300ee661910022170abebb4425c7cc89b4d83b

Aliases

arxiv: 1905.02427 · arxiv_version: 1905.02427v1 · doi: 10.48550/arxiv.1905.02427 · pith_short_12: 2Y7JZEJF3RVU · pith_short_16: 2Y7JZEJF3RVUPFCJ · pith_short_8: 2Y7JZEJF
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/2Y7JZEJF3RVUPFCJFU2XKMAO4Z \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: d63e9c9125dc6b4794492d3575300ee661910022170abebb4425c7cc89b4d83b
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "5109c50f9763e691240e83b0201ff018ea7b62ed39148fa78c47f546fcfbc971",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.SE",
    "submitted_at": "2019-05-07T09:18:08Z",
    "title_canon_sha256": "191a78e64ebdbb68d5569c3e071284aa66b51c8f6066a3d8ecb7a23b6d7fe713"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1905.02427",
    "kind": "arxiv",
    "version": 1
  }
}