{
  "id": "lib-process:cryptography-blockchain--formal-verification",
  "_kind": "LibraryProcess",
  "_file": "generated-library/processes.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "specializations/cryptography-blockchain/formal-verification",
    "description": "Formal Verification of Smart Contracts - Mathematical verification of smart contract properties using formal\nmethods to prove correctness of critical functions and invariants using Certora, K Framework, and other tools.",
    "libraryPath": "library/specializations/cryptography-blockchain/formal-verification.js",
    "specialization": "cryptography-blockchain",
    "references": [
      "- Certora Prover Documentation: https://docs.certora.com/",
      "- K Framework: https://github.com/runtimeverification/k",
      "- Formal Verification Best Practices: https://ethereum.org/en/developers/docs/smart-contracts/formal-verification/"
    ],
    "example": "const result = await orchestrate('specializations/cryptography-blockchain/formal-verification', {\n  projectName: 'DeFi Protocol Verification',\n  contractPaths: ['contracts/core/'],\n  properties: ['solvency', 'no-overflow', 'access-control'],\n  verificationTool: 'certora'\n});",
    "usesAgents": [
      "formal-methods"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "skill-area:symmetric-encryption",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "skill-area:asymmetric-encryption",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "topic:hmac-signing",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "topic:ssl-certs",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "domain:security",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "role:security-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "workflow:crypto-protocol-review",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "specialization:cryptography-blockchain",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "lib-agent:cryptography-blockchain--formal-methods",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    }
  ],
  "incomingEdges": []
}