Specification tools

Thanks to a number of people that have contributed links, I have put
together an initial page on specification tools, verifiers, and such at

http://www.cs.columbia.edu/~hgs/internet/formal.html

Additions and corrections are appreciated.

Thanks.