Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe and Raymie Stata. Extended Static Checking for Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, June 2002. ACM.

More information about Extended Static Checking for Java can be found here.

To run escjava simply type /cs/fac/src/escjava/bin/escjava.new (it will be moved to a different directory in the near future).