{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:C7WUOSRD6OTGJJTZLSFBVAOZUH","short_pith_number":"pith:C7WUOSRD","canonical_record":{"source":{"id":"1807.01923","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-05T09:53:17Z","cross_cats_sorted":[],"title_canon_sha256":"f329ec489d7291f319b527c1cba0f8b9e528f026f71293cc6d18adc4173176f9","abstract_canon_sha256":"81bca3805108e4bf7e57bd6e66e263ed3994a19d63110453c2f664ca6e711e7a"},"schema_version":"1.0"},"canonical_sha256":"17ed474a23f3a664a6795c8a1a81d9a1c01605e7cd47c492a8cd7089d8bc22bd","source":{"kind":"arxiv","id":"1807.01923","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.01923","created_at":"2026-05-18T00:11:24Z"},{"alias_kind":"arxiv_version","alias_value":"1807.01923v1","created_at":"2026-05-18T00:11:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01923","created_at":"2026-05-18T00:11:24Z"},{"alias_kind":"pith_short_12","alias_value":"C7WUOSRD6OTG","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"C7WUOSRD6OTGJJTZ","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"C7WUOSRD","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:C7WUOSRD6OTGJJTZLSFBVAOZUH","target":"record","payload":{"canonical_record":{"source":{"id":"1807.01923","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-05T09:53:17Z","cross_cats_sorted":[],"title_canon_sha256":"f329ec489d7291f319b527c1cba0f8b9e528f026f71293cc6d18adc4173176f9","abstract_canon_sha256":"81bca3805108e4bf7e57bd6e66e263ed3994a19d63110453c2f664ca6e711e7a"},"schema_version":"1.0"},"canonical_sha256":"17ed474a23f3a664a6795c8a1a81d9a1c01605e7cd47c492a8cd7089d8bc22bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:24.698939Z","signature_b64":"X6TkHji8R2iU2gc+1ZZaFk/5Zsx9McocicJrDEQexUSY6VHXBCe5pGregLVMdua8Gzpsb4dfVVTyyUa8kWJIBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"17ed474a23f3a664a6795c8a1a81d9a1c01605e7cd47c492a8cd7089d8bc22bd","last_reissued_at":"2026-05-18T00:11:24.698460Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:24.698460Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.01923","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-18T00:11:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0q/Sn2t1tYbFP20wlLNBvO7WL2Jwx0RSZ7LgOZcrWvGx9DO0461dtSUDceAn7wP+qaf4W6JI37Ug1AZI6NpoBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:33:14.236439Z"},"content_sha256":"aa17ba2859778e9260fca87c4af64df97a683202f6dae54b1157db973e0411b3","schema_version":"1.0","event_id":"sha256:aa17ba2859778e9260fca87c4af64df97a683202f6dae54b1157db973e0411b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:C7WUOSRD6OTGJJTZLSFBVAOZUH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Classification of Lightweight Formal Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Anna Zamansky, Guillermo Rodriguez-Navas, Jan Olaf Blech, Maria Spichkova, Peter Herrmann","submitted_at":"2018-07-05T09:53:17Z","abstract_excerpt":"The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term \"lightweight formal methods\" has been used for over ten years now, there seems to be no common agreement on what \"lightweight\" actually means, and different communities apply the term in all kinds of ways. In this paper, we explore the recent trends in the use of LFM, and establish our opinion that cost-effectiveness is the driving force to deploy LFM. Further, we propose a simple framework that should help to classify different LFM approaches and to estimate w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01923","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-18T00:11:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KaysZL9PszCQb+qujTKw7ynm13jo4qAlnK3hl3HND2ugO+QZJFj4eJ0BHXhvxsV49kBJusUyZGbK21XWL1rUDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:33:14.236794Z"},"content_sha256":"dd1465657d782b3696c4fd859bf076162dba9e1d7612826e17399aeb7247584c","schema_version":"1.0","event_id":"sha256:dd1465657d782b3696c4fd859bf076162dba9e1d7612826e17399aeb7247584c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH/bundle.json","state_url":"https://pith.science/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH/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-01T15:33:14Z","links":{"resolver":"https://pith.science/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH","bundle":"https://pith.science/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH/bundle.json","state":"https://pith.science/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C7WUOSRD6OTGJJTZLSFBVAOZUH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:C7WUOSRD6OTGJJTZLSFBVAOZUH","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":"81bca3805108e4bf7e57bd6e66e263ed3994a19d63110453c2f664ca6e711e7a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-05T09:53:17Z","title_canon_sha256":"f329ec489d7291f319b527c1cba0f8b9e528f026f71293cc6d18adc4173176f9"},"schema_version":"1.0","source":{"id":"1807.01923","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.01923","created_at":"2026-05-18T00:11:24Z"},{"alias_kind":"arxiv_version","alias_value":"1807.01923v1","created_at":"2026-05-18T00:11:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01923","created_at":"2026-05-18T00:11:24Z"},{"alias_kind":"pith_short_12","alias_value":"C7WUOSRD6OTG","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"C7WUOSRD6OTGJJTZ","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"C7WUOSRD","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:dd1465657d782b3696c4fd859bf076162dba9e1d7612826e17399aeb7247584c","target":"graph","created_at":"2026-05-18T00:11:24Z","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 use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term \"lightweight formal methods\" has been used for over ten years now, there seems to be no common agreement on what \"lightweight\" actually means, and different communities apply the term in all kinds of ways. In this paper, we explore the recent trends in the use of LFM, and establish our opinion that cost-effectiveness is the driving force to deploy LFM. Further, we propose a simple framework that should help to classify different LFM approaches and to estimate w","authors_text":"Anna Zamansky, Guillermo Rodriguez-Navas, Jan Olaf Blech, Maria Spichkova, Peter Herrmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-05T09:53:17Z","title":"Towards Classification of Lightweight Formal Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01923","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:aa17ba2859778e9260fca87c4af64df97a683202f6dae54b1157db973e0411b3","target":"record","created_at":"2026-05-18T00:11:24Z","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":"81bca3805108e4bf7e57bd6e66e263ed3994a19d63110453c2f664ca6e711e7a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-05T09:53:17Z","title_canon_sha256":"f329ec489d7291f319b527c1cba0f8b9e528f026f71293cc6d18adc4173176f9"},"schema_version":"1.0","source":{"id":"1807.01923","kind":"arxiv","version":1}},"canonical_sha256":"17ed474a23f3a664a6795c8a1a81d9a1c01605e7cd47c492a8cd7089d8bc22bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"17ed474a23f3a664a6795c8a1a81d9a1c01605e7cd47c492a8cd7089d8bc22bd","first_computed_at":"2026-05-18T00:11:24.698460Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:24.698460Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X6TkHji8R2iU2gc+1ZZaFk/5Zsx9McocicJrDEQexUSY6VHXBCe5pGregLVMdua8Gzpsb4dfVVTyyUa8kWJIBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:24.698939Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.01923","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa17ba2859778e9260fca87c4af64df97a683202f6dae54b1157db973e0411b3","sha256:dd1465657d782b3696c4fd859bf076162dba9e1d7612826e17399aeb7247584c"],"state_sha256":"32fc402b317002084b46de7f26fe47af90876568baf3c28ab3b8c8c14b508919"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A1RxAhqP3c4G0UW7THr5QkqxMJCzv7iIFWkuo8FNBHK5UFjCTTbhZZxhHLd/h967D62QcZYAvJJSeAT2zvAMDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T15:33:14.238884Z","bundle_sha256":"269c22364a6f90452e60bc7a290e35584d1437f5a460a2116166eabd4c573fe1"}}