> That is not to say that formal verification takes 5x the work. You also have to write your source-code in such a way that it is ammenable to being formally verified, which makes it more difficult to write, and limits what you can reasonably do.
Also hire significantly more skilled people. Write formal verification on job requirement and the pool of candidates will shrink massively.
Explains why it is so rare really. "Spend 5-10x on developers to have some bugs not happen" is not a great sell.
Also hire significantly more skilled people. Write formal verification on job requirement and the pool of candidates will shrink massively.
Explains why it is so rare really. "Spend 5-10x on developers to have some bugs not happen" is not a great sell.