{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:UX6L6VHW64XKGQKMWMR555SVQM","short_pith_number":"pith:UX6L6VHW","canonical_record":{"source":{"id":"1908.09302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-25T11:23:42Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"c280e9a49a3ccdc5fdd966969511701235dc529f28e50de3b4af95dcf9b3983e","abstract_canon_sha256":"405c2652a8c698b387009ca32a7b129f5ae9d21a2edd41940c56c939297a96cc"},"schema_version":"1.0"},"canonical_sha256":"a5fcbf54f6f72ea3414cb323def655833f1e2cc1c3bfaace489a179fa17dca4a","source":{"kind":"arxiv","id":"1908.09302","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09302","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09302v1","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09302","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"pith_short_12","alias_value":"UX6L6VHW64XK","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"pith_short_16","alias_value":"UX6L6VHW64XKGQKM","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"pith_short_8","alias_value":"UX6L6VHW","created_at":"2026-07-04T23:59:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:UX6L6VHW64XKGQKMWMR555SVQM","target":"record","payload":{"canonical_record":{"source":{"id":"1908.09302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-25T11:23:42Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"c280e9a49a3ccdc5fdd966969511701235dc529f28e50de3b4af95dcf9b3983e","abstract_canon_sha256":"405c2652a8c698b387009ca32a7b129f5ae9d21a2edd41940c56c939297a96cc"},"schema_version":"1.0"},"canonical_sha256":"a5fcbf54f6f72ea3414cb323def655833f1e2cc1c3bfaace489a179fa17dca4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:59:39.028402Z","signature_b64":"BdFezR4Du1XS8EITKzMXMn6ZWVjUlJ0MFWagezP/MI3f/EX2l0KCcmqhg8UM3GcVdEc0ti6lisBNyhblNY+oAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5fcbf54f6f72ea3414cb323def655833f1e2cc1c3bfaace489a179fa17dca4a","last_reissued_at":"2026-07-04T23:59:39.028012Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:59:39.028012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.09302","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-07-04T23:59:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TXQZhk0GE2Egn5nPDeaZPCAZWgiVbGFrjByNNuv2g9B4zixNfPqE6eePjTJum5M9bPZfLuh4O9WUbFO4H2FSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T18:40:06.344831Z"},"content_sha256":"f970ec0b59a40897797692e007821c171d8dd15da296db69aab849122b9f8252","schema_version":"1.0","event_id":"sha256:f970ec0b59a40897797692e007821c171d8dd15da296db69aab849122b9f8252"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:UX6L6VHW64XKGQKMWMR555SVQM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.LO","authors_text":"Davide Ancona (DIBRIS, Gordon Pace (Department of Computer Science, Italy), University of Genova, University of Malta)","submitted_at":"2019-08-25T11:23:42Z","abstract_excerpt":"This volume contains the post-proceedings of the second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in Amsterdam, co-located with the European Conference on Object-Oriented Programming (ECOOP 2018) and the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018).\n  Runtime verification is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, it has gained more consensus as an effective and promising approach to ensure software reliability, bridg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09302","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/1908.09302/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-04T23:59:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oyfwbevFK+RrU79iwvHrC637IvpnOlqjZVG2iWbKceV8tQYgy5SBGjlowbse4iy0/LBCUty2kzEgW6KA9HD3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T18:40:06.352846Z"},"content_sha256":"08466ef94a513a1261cb554df7ac5ed5c399d3292dc860e14b9a65174772675d","schema_version":"1.0","event_id":"sha256:08466ef94a513a1261cb554df7ac5ed5c399d3292dc860e14b9a65174772675d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UX6L6VHW64XKGQKMWMR555SVQM/bundle.json","state_url":"https://pith.science/pith/UX6L6VHW64XKGQKMWMR555SVQM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UX6L6VHW64XKGQKMWMR555SVQM/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-14T18:40:06Z","links":{"resolver":"https://pith.science/pith/UX6L6VHW64XKGQKMWMR555SVQM","bundle":"https://pith.science/pith/UX6L6VHW64XKGQKMWMR555SVQM/bundle.json","state":"https://pith.science/pith/UX6L6VHW64XKGQKMWMR555SVQM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UX6L6VHW64XKGQKMWMR555SVQM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UX6L6VHW64XKGQKMWMR555SVQM","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":"405c2652a8c698b387009ca32a7b129f5ae9d21a2edd41940c56c939297a96cc","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-25T11:23:42Z","title_canon_sha256":"c280e9a49a3ccdc5fdd966969511701235dc529f28e50de3b4af95dcf9b3983e"},"schema_version":"1.0","source":{"id":"1908.09302","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09302","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09302v1","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09302","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"pith_short_12","alias_value":"UX6L6VHW64XK","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"pith_short_16","alias_value":"UX6L6VHW64XKGQKM","created_at":"2026-07-04T23:59:39Z"},{"alias_kind":"pith_short_8","alias_value":"UX6L6VHW","created_at":"2026-07-04T23:59:39Z"}],"graph_snapshots":[{"event_id":"sha256:08466ef94a513a1261cb554df7ac5ed5c399d3292dc860e14b9a65174772675d","target":"graph","created_at":"2026-07-04T23:59: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1908.09302/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This volume contains the post-proceedings of the second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in Amsterdam, co-located with the European Conference on Object-Oriented Programming (ECOOP 2018) and the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018).\n  Runtime verification is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, it has gained more consensus as an effective and promising approach to ensure software reliability, bridg","authors_text":"Davide Ancona (DIBRIS, Gordon Pace (Department of Computer Science, Italy), University of Genova, University of Malta)","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-25T11:23:42Z","title":"Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09302","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:f970ec0b59a40897797692e007821c171d8dd15da296db69aab849122b9f8252","target":"record","created_at":"2026-07-04T23:59: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":"405c2652a8c698b387009ca32a7b129f5ae9d21a2edd41940c56c939297a96cc","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-25T11:23:42Z","title_canon_sha256":"c280e9a49a3ccdc5fdd966969511701235dc529f28e50de3b4af95dcf9b3983e"},"schema_version":"1.0","source":{"id":"1908.09302","kind":"arxiv","version":1}},"canonical_sha256":"a5fcbf54f6f72ea3414cb323def655833f1e2cc1c3bfaace489a179fa17dca4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5fcbf54f6f72ea3414cb323def655833f1e2cc1c3bfaace489a179fa17dca4a","first_computed_at":"2026-07-04T23:59:39.028012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:59:39.028012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BdFezR4Du1XS8EITKzMXMn6ZWVjUlJ0MFWagezP/MI3f/EX2l0KCcmqhg8UM3GcVdEc0ti6lisBNyhblNY+oAg==","signature_status":"signed_v1","signed_at":"2026-07-04T23:59:39.028402Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.09302","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f970ec0b59a40897797692e007821c171d8dd15da296db69aab849122b9f8252","sha256:08466ef94a513a1261cb554df7ac5ed5c399d3292dc860e14b9a65174772675d"],"state_sha256":"023c2dd698550a68e9a4cc3b7e5894973c0c4529181de86b49de305daeb2b459"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gUxLda69SI22QmfsaelFzptyQZYx41gFjGkDwtMtVRhKyVDP7pvdHPwGMY/dU2i956UGiDv1GM2klCNDC3A7Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T18:40:06.397021Z","bundle_sha256":"ec68075d574c874a4c0fc7a914eaa8af238a410a022cfe1012635f65319bd306"}}