This actually is a new term for me. I've heard people sometimes (rarely) use that term, but I couldn't figure out what that means at the time. Looked at wikipedia (for curiosity) and found this definition
What actually interests me is the Formal Methods that is being described there. It's quite extensive list and I would say that it will take quite a long time to perform all of that. I can't say I've done any of those kind of test to the degree described
So my question is, have anyone here done such analysis? tell me your experiences and how you did it.