# Tool Calibration

> Create known-good and known-bad fixtures, run the verification tool against both, detect false positives and false negatives, and mark the tool reliable only if both controls pass.

Record: `algo:tool-calibration`
Kind: context-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-tool-calibration
Closure: https://banes-lab.com/json/records/algo/tool-calibration/closure

## stage

- [see](https://banes-lab.com/records/stage/see.md)

## axis

- [analysis](https://banes-lab.com/records/reason/axis-analysis.md)

## composed-by

- [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md)

## derived-by

- [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md)