{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:2KRDF7FYUQPRBU4SIKVSTE2C6A","short_pith_number":"pith:2KRDF7FY","canonical_record":{"source":{"id":"2002.07080","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T17:19:40Z","cross_cats_sorted":[],"title_canon_sha256":"b130f5463267d03cfb6cffa924be83219b501c81a0451f818eb892d2f73bae76","abstract_canon_sha256":"73c7a37464e9cca0195dce44cf847ac5ec5993fb42d472ca834b80592e7dad3d"},"schema_version":"1.0"},"canonical_sha256":"d2a232fcb8a41f10d39242ab299342f023d653da53757fab2c2e71f0ebfba4b9","source":{"kind":"arxiv","id":"2002.07080","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.07080","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"2002.07080v2","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.07080","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"2KRDF7FYUQPR","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"pith_short_16","alias_value":"2KRDF7FYUQPRBU4S","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"pith_short_8","alias_value":"2KRDF7FY","created_at":"2026-07-05T01:40:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:2KRDF7FYUQPRBU4SIKVSTE2C6A","target":"record","payload":{"canonical_record":{"source":{"id":"2002.07080","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T17:19:40Z","cross_cats_sorted":[],"title_canon_sha256":"b130f5463267d03cfb6cffa924be83219b501c81a0451f818eb892d2f73bae76","abstract_canon_sha256":"73c7a37464e9cca0195dce44cf847ac5ec5993fb42d472ca834b80592e7dad3d"},"schema_version":"1.0"},"canonical_sha256":"d2a232fcb8a41f10d39242ab299342f023d653da53757fab2c2e71f0ebfba4b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:40:56.181806Z","signature_b64":"0KCVy7377T+5bgdg0fuqjb8sa9Ax7B9IxbhYT1IACgHg2gHE3v+VLnBk2OIPYsseoUhDQHssF5MYe8pqhVmvDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2a232fcb8a41f10d39242ab299342f023d653da53757fab2c2e71f0ebfba4b9","last_reissued_at":"2026-07-05T01:40:56.181356Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:40:56.181356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2002.07080","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:40:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1PYBs4fJIJG5PCaAybOEySkCSANIO5bv4TNpanlLJ3c9742YlkVUM0yI9Ob5HN10HlBR23LolwnwcgjeDBhLDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:03:42.375986Z"},"content_sha256":"9ec95b110f3d39611a55f0b73f62326291774c764f8640baf69c09c87cdbb85d","schema_version":"1.0","event_id":"sha256:9ec95b110f3d39611a55f0b73f62326291774c764f8640baf69c09c87cdbb85d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:2KRDF7FYUQPRBU4SIKVSTE2C6A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Probabilistic Model Checker Storm","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christian Hensel, Joost-Pieter Katoen, Matthias Volk, Sebastian Junges, Tim Quatmann","submitted_at":"2020-02-17T17:19:40Z","abstract_excerpt":"We present the probabilistic model checker Storm. Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes. Storm has three major distinguishing features. It supports multiple input languages for Markov models, including the JANI and PRISM modeling languages, dynamic fault trees, generalized stochastic Petri nets, and the probabilistic guarded command language. It has a modular set-up in which solvers and symbolic engines can easily be exchanged. Its Python API allows for rapid prototyping by encapsulating Storm's fast and scalab"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.07080","kind":"arxiv","version":2},"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/2002.07080/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:40:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VVL+iigaHviK8F0FjVw1t0l/dgcAizGcpunWCOtCs9k+f9eABq15ctiEAekG4dKA7JRHOV1UVbwyuW4jXKdaBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:03:42.376571Z"},"content_sha256":"608cb6babc11b1b8c565182e2b2d7499de7c7dd2d0a938c11ec56dc177baf96f","schema_version":"1.0","event_id":"sha256:608cb6babc11b1b8c565182e2b2d7499de7c7dd2d0a938c11ec56dc177baf96f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A/bundle.json","state_url":"https://pith.science/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-04T17:03:42Z","links":{"resolver":"https://pith.science/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A","bundle":"https://pith.science/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A/bundle.json","state":"https://pith.science/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2KRDF7FYUQPRBU4SIKVSTE2C6A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:2KRDF7FYUQPRBU4SIKVSTE2C6A","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":"73c7a37464e9cca0195dce44cf847ac5ec5993fb42d472ca834b80592e7dad3d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T17:19:40Z","title_canon_sha256":"b130f5463267d03cfb6cffa924be83219b501c81a0451f818eb892d2f73bae76"},"schema_version":"1.0","source":{"id":"2002.07080","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.07080","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"2002.07080v2","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.07080","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"2KRDF7FYUQPR","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"pith_short_16","alias_value":"2KRDF7FYUQPRBU4S","created_at":"2026-07-05T01:40:56Z"},{"alias_kind":"pith_short_8","alias_value":"2KRDF7FY","created_at":"2026-07-05T01:40:56Z"}],"graph_snapshots":[{"event_id":"sha256:608cb6babc11b1b8c565182e2b2d7499de7c7dd2d0a938c11ec56dc177baf96f","target":"graph","created_at":"2026-07-05T01:40:56Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2002.07080/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present the probabilistic model checker Storm. Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes. Storm has three major distinguishing features. It supports multiple input languages for Markov models, including the JANI and PRISM modeling languages, dynamic fault trees, generalized stochastic Petri nets, and the probabilistic guarded command language. It has a modular set-up in which solvers and symbolic engines can easily be exchanged. Its Python API allows for rapid prototyping by encapsulating Storm's fast and scalab","authors_text":"Christian Hensel, Joost-Pieter Katoen, Matthias Volk, Sebastian Junges, Tim Quatmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T17:19:40Z","title":"The Probabilistic Model Checker Storm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.07080","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:9ec95b110f3d39611a55f0b73f62326291774c764f8640baf69c09c87cdbb85d","target":"record","created_at":"2026-07-05T01:40:56Z","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":"73c7a37464e9cca0195dce44cf847ac5ec5993fb42d472ca834b80592e7dad3d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T17:19:40Z","title_canon_sha256":"b130f5463267d03cfb6cffa924be83219b501c81a0451f818eb892d2f73bae76"},"schema_version":"1.0","source":{"id":"2002.07080","kind":"arxiv","version":2}},"canonical_sha256":"d2a232fcb8a41f10d39242ab299342f023d653da53757fab2c2e71f0ebfba4b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d2a232fcb8a41f10d39242ab299342f023d653da53757fab2c2e71f0ebfba4b9","first_computed_at":"2026-07-05T01:40:56.181356Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:40:56.181356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0KCVy7377T+5bgdg0fuqjb8sa9Ax7B9IxbhYT1IACgHg2gHE3v+VLnBk2OIPYsseoUhDQHssF5MYe8pqhVmvDA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:40:56.181806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2002.07080","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ec95b110f3d39611a55f0b73f62326291774c764f8640baf69c09c87cdbb85d","sha256:608cb6babc11b1b8c565182e2b2d7499de7c7dd2d0a938c11ec56dc177baf96f"],"state_sha256":"6b7ec8ecc2607c15b42b76c5bc230844d132f7e5df30c59ca4c9ff17bae2f90e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3SmguluxZUTa4phP1DTtn18NU9yJOkNtYacYj+SSAcKsbwmrjuUKBsmw5e0v9ZvXWPzmfM80MXAuIAtHnlTRDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T17:03:42.380303Z","bundle_sha256":"ceb9414518e167198ced09139b594145e1f3214f01edf1b1907e78b68237a85b"}}