Getting started with Program verification!
In complex-critical software systems reliability is something that is not negotiable.It can be a pacemaker or your computer processor.In accordance with the correct specification software verification techniques can be used to find the bugs that tries to compromise software reliability.Formal verification techniques provide a mathematical framework that can be used to prove the correctness of a particular program.
“Hmm”
Well, these are the words that you will find when you will be searching about this topic on the INTERNET.
While doing my master’s thesis on memory management issues I came across a research paper titled “AUTOMATED VERIFICATION OF PRACTICAL GARBAGE COLLECTORS” and that enlightened me ! LOL
Anyway let’s say you are a new comer and want to get familiar with the terms like “formal verification” / “program verification” and then “theorem proving”/”automated theorem proving”