Formal Methods

Do you use them? Have you found them useful?

I've been studying the Z notation, and it has been quite interesting thus far.

Unpopular and largely unusable, hard to maintain etc.