The following tools and toolsets are available via the World Wide Web free of charge.

- The
**UniCon**toolset, as described by Mary Shaw, is available at the following location:

http://www.cs.cmu.edu/`~`

UniCon. - The
**Aesop**tool and the**ACME**support library, as described by David Garlan, is available at the following locations, respectively:

http://www.cs.cmu.edu/`~`

able/aesop, and

http://www.cs.cmu.edu/`~`

able/acme-web/v3.0/alpha-dist/alpha-dist.html. - The
**Nitpick**specification checker, as described by Jeannette Wing, is available at the following location:

http://www.cs.cmu.edu/`~`

nitpick. - The
**Revere**``little logic'' checker, as described by Jeannette Wing, is available at the following location:

http://www.cs.cmu.edu/`~`

revere. - The
**Lackwit**code analysis tool, as described by Jeannette Wing, is available at the following location:

http://www.cs.cmu.edu/`~`

roc/Lackwit.

Tue Aug 26 09:51:37 EDT 1997