{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UWQNP5VB74LD4EWTIOCIX3VIIB","short_pith_number":"pith:UWQNP5VB","canonical_record":{"source":{"id":"1603.08371","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T12:52:17Z","cross_cats_sorted":[],"title_canon_sha256":"08730d869fedfca0942fd24f5f26823cf88099458ab22cc7714cc22250232ad2","abstract_canon_sha256":"afd23553be3492fb9ff9aed8f8be2e3fc5de839ecc6e468add5c396eca71c6da"},"schema_version":"1.0"},"canonical_sha256":"a5a0d7f6a1ff163e12d343848beea8404ab5f1c3fcfc7cdaf58156e252f0f52f","source":{"kind":"arxiv","id":"1603.08371","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08371","created_at":"2026-05-18T01:18:10Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08371v1","created_at":"2026-05-18T01:18:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08371","created_at":"2026-05-18T01:18:10Z"},{"alias_kind":"pith_short_12","alias_value":"UWQNP5VB74LD","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UWQNP5VB74LD4EWT","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UWQNP5VB","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UWQNP5VB74LD4EWTIOCIX3VIIB","target":"record","payload":{"canonical_record":{"source":{"id":"1603.08371","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T12:52:17Z","cross_cats_sorted":[],"title_canon_sha256":"08730d869fedfca0942fd24f5f26823cf88099458ab22cc7714cc22250232ad2","abstract_canon_sha256":"afd23553be3492fb9ff9aed8f8be2e3fc5de839ecc6e468add5c396eca71c6da"},"schema_version":"1.0"},"canonical_sha256":"a5a0d7f6a1ff163e12d343848beea8404ab5f1c3fcfc7cdaf58156e252f0f52f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:10.945286Z","signature_b64":"HbkUEi3vUGSWG0JoAoEn3Cl/lg2qrmnpQ/lUmf5ZoY6d5QkxiOozFIfThi3DAZBphGR07xfWjzjyCsYhjltMBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5a0d7f6a1ff163e12d343848beea8404ab5f1c3fcfc7cdaf58156e252f0f52f","last_reissued_at":"2026-05-18T01:18:10.944517Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:10.944517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.08371","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-18T01:18:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U8dgyKELjklBtJaEGVEEHOVSv5Tg5R6+3vA9fOj9R1w8GVCqqhK2zBLbvfvMwdJmUxxjobDdOZK8LQIpUR9rCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:29:53.213234Z"},"content_sha256":"9d4c2a3cae95f00c28a9e7edb6f4e2b24cc3fda30949183091441912be4ef4d6","schema_version":"1.0","event_id":"sha256:9d4c2a3cae95f00c28a9e7edb6f4e2b24cc3fda30949183091441912be4ef4d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UWQNP5VB74LD4EWTIOCIX3VIIB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bara Buhnova, Jana Kofro\\v{n}, Jana Tumova","submitted_at":"2016-03-28T12:52:17Z","abstract_excerpt":"The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.\n  In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. Wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08371","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-18T01:18:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FWHBg36eFcaKP0/kSU3sRTD7tejhKiLczsOTWobMYxxJLOEp6PPycde41Nt5Y9fcUiaZ0+lHOMjlQ0VgOPDCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:29:53.213930Z"},"content_sha256":"162ba5f5e811bf5fc01e539dae5976f9a9e8bfb6a661487283added6f115a087","schema_version":"1.0","event_id":"sha256:162ba5f5e811bf5fc01e539dae5976f9a9e8bfb6a661487283added6f115a087"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UWQNP5VB74LD4EWTIOCIX3VIIB/bundle.json","state_url":"https://pith.science/pith/UWQNP5VB74LD4EWTIOCIX3VIIB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UWQNP5VB74LD4EWTIOCIX3VIIB/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-06-07T21:29:53Z","links":{"resolver":"https://pith.science/pith/UWQNP5VB74LD4EWTIOCIX3VIIB","bundle":"https://pith.science/pith/UWQNP5VB74LD4EWTIOCIX3VIIB/bundle.json","state":"https://pith.science/pith/UWQNP5VB74LD4EWTIOCIX3VIIB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UWQNP5VB74LD4EWTIOCIX3VIIB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UWQNP5VB74LD4EWTIOCIX3VIIB","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":"afd23553be3492fb9ff9aed8f8be2e3fc5de839ecc6e468add5c396eca71c6da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T12:52:17Z","title_canon_sha256":"08730d869fedfca0942fd24f5f26823cf88099458ab22cc7714cc22250232ad2"},"schema_version":"1.0","source":{"id":"1603.08371","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08371","created_at":"2026-05-18T01:18:10Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08371v1","created_at":"2026-05-18T01:18:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08371","created_at":"2026-05-18T01:18:10Z"},{"alias_kind":"pith_short_12","alias_value":"UWQNP5VB74LD","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UWQNP5VB74LD4EWT","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UWQNP5VB","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:162ba5f5e811bf5fc01e539dae5976f9a9e8bfb6a661487283added6f115a087","target":"graph","created_at":"2026-05-18T01:18:10Z","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":"The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.\n  In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. Wit","authors_text":"Bara Buhnova, Jana Kofro\\v{n}, Jana Tumova","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T12:52:17Z","title":"Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08371","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:9d4c2a3cae95f00c28a9e7edb6f4e2b24cc3fda30949183091441912be4ef4d6","target":"record","created_at":"2026-05-18T01:18:10Z","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":"afd23553be3492fb9ff9aed8f8be2e3fc5de839ecc6e468add5c396eca71c6da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T12:52:17Z","title_canon_sha256":"08730d869fedfca0942fd24f5f26823cf88099458ab22cc7714cc22250232ad2"},"schema_version":"1.0","source":{"id":"1603.08371","kind":"arxiv","version":1}},"canonical_sha256":"a5a0d7f6a1ff163e12d343848beea8404ab5f1c3fcfc7cdaf58156e252f0f52f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5a0d7f6a1ff163e12d343848beea8404ab5f1c3fcfc7cdaf58156e252f0f52f","first_computed_at":"2026-05-18T01:18:10.944517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:10.944517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HbkUEi3vUGSWG0JoAoEn3Cl/lg2qrmnpQ/lUmf5ZoY6d5QkxiOozFIfThi3DAZBphGR07xfWjzjyCsYhjltMBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:10.945286Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.08371","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d4c2a3cae95f00c28a9e7edb6f4e2b24cc3fda30949183091441912be4ef4d6","sha256:162ba5f5e811bf5fc01e539dae5976f9a9e8bfb6a661487283added6f115a087"],"state_sha256":"d0a22d07a9423c83351b923206c34d4df414ccf82fe88a60ffc7275b2a0fe353"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oVK3cjpzFOTlHjLO0jA+/pCSAKEEfYAZmbfmEGFZdhmOzx6OhprYPf9Z+jKsjQC35qj+KnizrKYk2I9Q0HdVAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T21:29:53.217599Z","bundle_sha256":"472a7839592c6fb277c2c04ada4b3e94fdb559b145dc447e0899bd5dc190b2bf"}}