Glossary · Evaluator mechanisms
Formal verifier
A proof checker, model checker, type system, or similar mechanism whose acceptance has a soundness argument relative to a configured trusted base.
Defined in
Handbook · InstrumentMechanism familiesProof checkers, executors, rule engines, learned judges, intrinsic signals and people: what each can guarantee, and what each can only estimate.Where it comes up
- The verification hierarchy, demotedHandbook · Foundations
- CrosswalkHandbook · Reference