Formally verifying properties of the computation
Informally checking properties of the computation (is this algorithm for making loan decisions fair?)
Debugging the computation, or more generally “modifying the computation to do what you actually want”
Formally verifying properties of the computation
Informally checking properties of the computation (is this algorithm for making loan decisions fair?)
Debugging the computation, or more generally “modifying the computation to do what you actually want”