[Taikonerd]

In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modeling (with TLA+).

[hwayne]

If I find any cold showers with formal modeling, I will absolutely include those too. :D