In this post, we propose a general overview of what formal verification is by decomposing it into two main steps:
- Translation of the source code to a formal language;
- Verification of the formal specification in the formal language.
We will cover the main techniques used at each step, knowing that in most cases it is possible to combine the approaches.