1 post tagged with "formal proofs"

proving correctness of algorithms

07/02/2023 13:20 | Category: algorithms

Tags: mathformal_proofs

Inspection of algorithms that produce the correct behavior over a…