In which scenarios the developer prefer bug finder and code prover ?

These two techniques are used for improving code quality the one difference is bug finder is for checking violations and code prover not. Apart from the above difference are they same in working ? when programmers prefer bug finder and code prover ?

Answer 1

[B.k Sumedha]

U can have a look at these links.It explains cleanly wht the two function does. http://in.mathworks.com/products/polyspace-bug-finder/ http://in.mathworks.com/products/polyspace-code-prover/

[Sunil Rajapur]

Yes i have gone through the above links but we need at which scenarios programmers prefer these two ?