1900 Commerce St., Box 358426
Tacoma, WA 98402 U.S.A.
email: dmz at acm dot
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/.