The quality of being checkable.

Able to be checked or verified. / Able to be marked with a check mark, or tick. / (finance, not comparable) Alternative form of chequable

(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

plural of probabilistically checkable proof