Tool Calibration

Kind: algorithm

Record: algorithms:tool-calibration

Canonical: Algorithms

Closure: Dependencies in load order

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.

Listed in Algorithm contracts, after Environment Capability Verification and before Behavioral Self-Test.

Domain

• Context verification

Stage

• see

Axis

• analysis

Tier

• process

Composed by

• Contract-Based Verification Kernel

Named in the derivation of

• Contract-Based Verification Kernel

Math type

• Probability

Force

• Correctness verification

Linked from

• Context verification
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces