Available Software Tools

The following tools and toolsets are available free of charge via the World Wide Web. Further information about the tools and their distribution policies can be found at the toolsets' respective web sites.

• AcmeLib is a library of reusable classes for representing and manipulating Acme designs. Both a Java and C++ version of the library are currently available via http://www.cs.cmu.edu/~acme/acme_downloads.html

• AcmeStudio is a graphical editor and design editor for Acme. For more information on AcmeStudio or to download AcmeStudio, you can visit http://www.cs.cmu.edu/~acme/AcmeStudio/AcmeStudio.html

• The Aesop environment and the ACME support library is available via http://www.cs.cmu.edu/~able

• The Nitpick specification checker is available via http://www.cs.cmu.edu/afs/cs.cmu.edu/project/nitpick/www/home.html

• The Revere ``little logic'' checker is available via http://www.cs.cmu.edu/~revere (tool release coming soon!)

• The UniCon toolset is available via http://www.cs.cmu.edu/afs/cs/project/vit/www/unicon/

---

Brought to you by the

Composable Software Systems Research Group

of the School of Computer Science

at Carnegie Mellon University.

Email: Maintainer

Modified: 30-Jul-2001