Questions Tagged [proof-of-correctness]

Formal mathematical argument that an algorithm meets its specification, i.e. it always produces the correct output for any permitted input.

Question is empty. Ask new Question

Popular Questions