What should be added, I think, to code reviewing is that it can get really complex, for example if we add formal verification in the mix to catch very subtle bu

What should be added, I think, to code reviewing is that it can get really complex, for example if we add formal verification in the mix to catch very subtle bugs. So in the end I think there will still be some disappointment, as one would expect it should be fully automated and only about reading the code, like this article suggests. In reality, I think it is harder than writing code.