November 11th, 2009, 10:51 pm Sun's Parfait http://research.sun.com/projects/downunder/publications/ParfaitBugChecker.pdfinteresting... too bad it's not available for public use.
