Here are a couple to start with: Holzmann's book: Design and Validation of Computer Protocols: http://cm.bell-labs.com/cm/cs/who/gerard/popd.html http://theory.lcs.mit.edu/~mass/comm.html http://www.sdl-forum.org/ including the introduction to SDL 88: http://www.sdl-forum.org/sdl88tutorial/index.html SDL Integrated Tool Environment: http://www.informatik.hu-berlin.de/Themen/SITE/ The regular FORTE/PSTV conferences http://uluru.poly.edu/~tmoors/net/confs.html#forte
Tim Moors ___________________________________ Web: http://uluru.poly.edu/~tmoors/ > -----Original Message----- > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]On Behalf Of > Henning G. Schulzrinne > Sent: Wednesday, October 03, 2001 10:34 AM > Subject: Specification verification tools > > Recently, the IESG sent a note describing and encouraging the use of > formally verifiable means of protocol specification, in addition to > English prose. To facilitate this effort, I will be setting a resource > web page to provide information on mechanisms and tools. (Unless there > is a formal IETF effort, of course.) > > For now, please send me pointers to tools and possible languages or > other suitable means, including, for example, RFC 2234 (ABNF), ASN.1 as > used for LDAP and SNMP, or XML schemas. Note that these tools are meant > for verification, not for code generation. > > This is a "freelance" effort, and any statements or listings do not > necessarily reflect official IETF or IESG policy or recommendations. > > Thank you. > -- > Henning Schulzrinne http://www.cs.columbia.edu/~hgs > >