formal proof of correctness

  1. REDIRECT Correctness (computer science) {{R from related term}}