1900 Commerce St., Box 358426
Tacoma, WA 98402 U.S.A.
email: dmz at acm dot org
phone: +1 253 692 4540

The Applied Formal Methods group at the Institute of Technology, University of Washington Tacoma, led by Dr. Daniel M. Zimmerman, performs basic research and tool development related to the application of formal methods to the software development process. Our primary implementation platform is Sun Microsystems’ Java, and we work closely with other researchers and industry practitioners involved in the Java Modeling Language (JML) development effort, particularly the KindSoftware group at University College Dublin.

Our most recent tool release is JMLUnitNG.

Information about group members, publications, funding, software, and activities (including the JML Spec-a-thons) is available on dedicated pages. See also our site about work on verified gaming, http://www.verifiedgaming.org/.