formal verification
act of proving or disproving the correctness of intended algorithms
Runtime verification
extraction of information from a running system to verify certain properties
act of proving or disproving the correctness of intended algorithms