How do these articles exist without mentioning formal methods? You realize there exists systems and techniques that can prove your program to be 100 percent cor

How do these articles exist without mentioning formal methods? You realize there exists systems and techniques that can prove your program to be 100 percent correct? Whatever the pitfalls articles about code quality and the quality of software in general are pure ignorance if this aspect of software isn't mentioned.