Research Concept

Formal verification

act of proving or disproving the correctness of intended algorithms