{
  "order": [
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-contract-based-verification-kernel",
      "json": "https://banes-lab.com/json/records/algorithms/contract-based-verification-kernel",
      "label": "Contract-Based Verification Kernel",
      "markdown": "https://banes-lab.com/records/algorithms/contract-based-verification-kernel.md",
      "ref": "algorithms:contract-based-verification-kernel"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-tool-calibration",
      "json": "https://banes-lab.com/json/records/algorithms/tool-calibration",
      "label": "Tool Calibration",
      "markdown": "https://banes-lab.com/records/algorithms/tool-calibration.md",
      "ref": "algorithms:tool-calibration"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-behavioral-self-test",
      "json": "https://banes-lab.com/json/records/algorithms/behavioral-self-test",
      "label": "Behavioral Self-Test",
      "markdown": "https://banes-lab.com/records/algorithms/behavioral-self-test.md",
      "ref": "algorithms:behavioral-self-test"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-validation-gate",
      "json": "https://banes-lab.com/json/records/algorithms/validation-gate",
      "label": "Validation Gate",
      "markdown": "https://banes-lab.com/records/algorithms/validation-gate.md",
      "ref": "algorithms:validation-gate"
    }
  ],
  "record": {
    "href": "https://banes-lab.com/ontology/algorithms#algorithms-contract-based-verification-kernel",
    "json": "https://banes-lab.com/json/records/algorithms/contract-based-verification-kernel",
    "label": "Contract-Based Verification Kernel",
    "markdown": "https://banes-lab.com/records/algorithms/contract-based-verification-kernel.md",
    "ref": "algorithms:contract-based-verification-kernel"
  },
  "ref": "algorithms:contract-based-verification-kernel/closure",
  "title": "Contract-Based Verification Kernel and the contracts it depends on"
}