Updated July 2009
Plural is a static protocol analysis tool for Java that I am developing with Nels Beckman. You can download the sources for Plural and find instructions on how to install it under Eclipse on Google Code. Plural is based primarily on papers published at OOPSLA 2007 and 2008. Experience with specifying and verifying Java code appeared at ECOOP 2009. My thesis provides a comprehensive description and evaluation of Plural's capabilities.