{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AX3BOCV6HGISAHYANOJPYWQGJP","short_pith_number":"pith:AX3BOCV6","canonical_record":{"source":{"id":"1905.03490","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-09T08:48:09Z","cross_cats_sorted":[],"title_canon_sha256":"813ffadae0e4eed6f1b5ac2c56950793bf932d69422e63645f9332c3f7b11e04","abstract_canon_sha256":"cde3787df9c750271c5fab89d900a5e823965e96c732c41a4640dce1d189caad"},"schema_version":"1.0"},"canonical_sha256":"05f6170abe3991201f006b92fc5a064bd64613f1c9e82fed0de863ebda943b53","source":{"kind":"arxiv","id":"1905.03490","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03490","created_at":"2026-05-17T23:46:39Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03490v1","created_at":"2026-05-17T23:46:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03490","created_at":"2026-05-17T23:46:39Z"},{"alias_kind":"pith_short_12","alias_value":"AX3BOCV6HGIS","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AX3BOCV6HGISAHYA","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AX3BOCV6","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AX3BOCV6HGISAHYANOJPYWQGJP","target":"record","payload":{"canonical_record":{"source":{"id":"1905.03490","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-09T08:48:09Z","cross_cats_sorted":[],"title_canon_sha256":"813ffadae0e4eed6f1b5ac2c56950793bf932d69422e63645f9332c3f7b11e04","abstract_canon_sha256":"cde3787df9c750271c5fab89d900a5e823965e96c732c41a4640dce1d189caad"},"schema_version":"1.0"},"canonical_sha256":"05f6170abe3991201f006b92fc5a064bd64613f1c9e82fed0de863ebda943b53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:39.713862Z","signature_b64":"MSKPexukDPEGnnLqRQRmTdBQ4bOhvxmTQgpNqIemoEVn3etAEIKNKQuSZ7UrxkNW8CIY6rU76sXH6SS0XsDSDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05f6170abe3991201f006b92fc5a064bd64613f1c9e82fed0de863ebda943b53","last_reissued_at":"2026-05-17T23:46:39.713113Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:39.713113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.03490","source_version":1,"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-05-17T23:46:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eD4qM5h7W9H42UeCKKLyKi84mNSemLSkd+TU7IlDMjM8U8SWIwip+V2onGjVLZS3d2i6q8YxvtxO61B9VOZBCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:53:40.822946Z"},"content_sha256":"999f763b3c438a8a29721128d8213976ebe82dfaf5bba9fff17aaf2b3e6a78e0","schema_version":"1.0","event_id":"sha256:999f763b3c438a8a29721128d8213976ebe82dfaf5bba9fff17aaf2b3e6a78e0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AX3BOCV6HGISAHYANOJPYWQGJP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Claudio Menghi, David Wolfe, Khouloud Gaaloul, Lionel C. Briand, Shiva Nejati, Stephen Foster","submitted_at":"2019-05-09T08:48:09Z","abstract_excerpt":"Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to identify failures in models by executing them for a number of sampled test inputs, and model checking that attempts to exhaustively check the correctness of models against some given formal properties. In this paper, we present an industrial Simulink model benchmark, provide a categorization of different model types in the benchmark, describe the recu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03490","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":""},"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-05-17T23:46:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zVqj1V0RXwNI9Ib7U2mhStqUR/3wnDOszLj8Imtu8jScGHBa8ZwfJlBQY5GZEz0fQa09txonB1hdYucEAh9JBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:53:40.823629Z"},"content_sha256":"aae4509463d902cb35dc7b6fa4f9d8f40c3a64dbf03976e6ac2db43f410e133a","schema_version":"1.0","event_id":"sha256:aae4509463d902cb35dc7b6fa4f9d8f40c3a64dbf03976e6ac2db43f410e133a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AX3BOCV6HGISAHYANOJPYWQGJP/bundle.json","state_url":"https://pith.science/pith/AX3BOCV6HGISAHYANOJPYWQGJP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AX3BOCV6HGISAHYANOJPYWQGJP/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-05-29T17:53:40Z","links":{"resolver":"https://pith.science/pith/AX3BOCV6HGISAHYANOJPYWQGJP","bundle":"https://pith.science/pith/AX3BOCV6HGISAHYANOJPYWQGJP/bundle.json","state":"https://pith.science/pith/AX3BOCV6HGISAHYANOJPYWQGJP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AX3BOCV6HGISAHYANOJPYWQGJP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AX3BOCV6HGISAHYANOJPYWQGJP","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":"cde3787df9c750271c5fab89d900a5e823965e96c732c41a4640dce1d189caad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-09T08:48:09Z","title_canon_sha256":"813ffadae0e4eed6f1b5ac2c56950793bf932d69422e63645f9332c3f7b11e04"},"schema_version":"1.0","source":{"id":"1905.03490","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03490","created_at":"2026-05-17T23:46:39Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03490v1","created_at":"2026-05-17T23:46:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03490","created_at":"2026-05-17T23:46:39Z"},{"alias_kind":"pith_short_12","alias_value":"AX3BOCV6HGIS","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AX3BOCV6HGISAHYA","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AX3BOCV6","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:aae4509463d902cb35dc7b6fa4f9d8f40c3a64dbf03976e6ac2db43f410e133a","target":"graph","created_at":"2026-05-17T23:46:39Z","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":"Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to identify failures in models by executing them for a number of sampled test inputs, and model checking that attempts to exhaustively check the correctness of models against some given formal properties. In this paper, we present an industrial Simulink model benchmark, provide a categorization of different model types in the benchmark, describe the recu","authors_text":"Claudio Menghi, David Wolfe, Khouloud Gaaloul, Lionel C. Briand, Shiva Nejati, Stephen Foster","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-09T08:48:09Z","title":"Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03490","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:999f763b3c438a8a29721128d8213976ebe82dfaf5bba9fff17aaf2b3e6a78e0","target":"record","created_at":"2026-05-17T23:46:39Z","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":"cde3787df9c750271c5fab89d900a5e823965e96c732c41a4640dce1d189caad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-09T08:48:09Z","title_canon_sha256":"813ffadae0e4eed6f1b5ac2c56950793bf932d69422e63645f9332c3f7b11e04"},"schema_version":"1.0","source":{"id":"1905.03490","kind":"arxiv","version":1}},"canonical_sha256":"05f6170abe3991201f006b92fc5a064bd64613f1c9e82fed0de863ebda943b53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05f6170abe3991201f006b92fc5a064bd64613f1c9e82fed0de863ebda943b53","first_computed_at":"2026-05-17T23:46:39.713113Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:39.713113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MSKPexukDPEGnnLqRQRmTdBQ4bOhvxmTQgpNqIemoEVn3etAEIKNKQuSZ7UrxkNW8CIY6rU76sXH6SS0XsDSDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:39.713862Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.03490","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:999f763b3c438a8a29721128d8213976ebe82dfaf5bba9fff17aaf2b3e6a78e0","sha256:aae4509463d902cb35dc7b6fa4f9d8f40c3a64dbf03976e6ac2db43f410e133a"],"state_sha256":"32ad13d1506911c6f21411fc41678dcd178d0d9739ecda5f0e6d4ab0ec694d92"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+br9LOMYbVylBicz8T6Diryq+jRxtmL4aUFhi5yaIBpfzajmSzxdV+6yaE7PVp6wiIPD7LG3e3nyfRa8Te/BCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T17:53:40.826915Z","bundle_sha256":"217e5af787f25c1ff0fc51fd9adbdda392b2460b9e83b830f73bfc40bde4db34"}}