Acknowledgments & Trademarks

Many thanks to the Am-Utils Users mailing list through the months developing am-utils. These members have contributed to the discussions, ideas, code and documentation, and subjected their systems to alpha quality code. Special thanks go to those authors who have submitted patches, and especially to the maintainers:

• Erez Zadok
• Ion Badulescu
• Rainer Orth
• Nick Williams

Thanks to the Formal Methods Group at Imperial College for suffering patiently while Amd was being developed on their machines.

Thanks to the many people who have helped with the development of Amd, especially Piete Brooks at the Cambridge University Computing Lab for many hours of testing, experimentation and discussion.

Thanks to the older Amd Workers mailing list (now defunct) members for many suggestions and bug reports to Amd.

• DEC, VAX and Ultrix are registered trademarks of Digital Equipment Corporation.
• AIX and IBM are registered trademarks of International Business Machines Corporation.
• Sun, NFS and SunOS are registered trademarks of Sun Microsystems, Inc.
• UNIX is a registered trademark in the USA and other countries, exclusively licensed through X/Open Company, Ltd.
• All other registered trademarks are owned by their respective owners.

This document was generated by Build Daemon user on May 31, 2011 using texi2html 1.82.