Next: About this document Up: No Title Previous: Keywords

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 location - http://www.cs.cmu.edu/able.

The Nitpick specification checker, as described by Daniel Jackson, is available at the following location - http://www.cs.cmu.edu/nitpick.

The Revere ``little logic'' checker is available at the following location - http://www.cs.cmu.edu/Revere.

Brought to you by the Composable Software Systems research group at Carnegie Mellon University's School of Computer Science. Last updated Wed Apr 23, 1997.