Subject: Specification tools

From: Henning Schulzrinne <[email-masked]>
Date: Sat, 06 Oct 2001 10:53:47 -0400

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.