Available Software Tools

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.