#ITByte: #Formal #Verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property.

Here is a brief introduction to formal program verification.

https://knowledgezone.co.in/posts/Program-Verification-65fa9372256f40fe1d4c5ca7