Re: Specification verification tools

To: "Henning G. Schulzrinne" <hgs at CS.COLUMBIA.EDU>, ietf at ietf.org
Subject: Re: Specification verification tools
From: Jiri Kuthan <jiri at iptel.org>
Date: Sat, 06 Oct 2001 00:11:55 +0200
In-reply-to: <3BBB21CD.2E28D6CC@cs.columbia.edu>
Sender: owner-ietf at ietf.org

http://www.ops.ietf.org/abnf/


At 04:33 PM 10/3/2001, Henning G. Schulzrinne wrote:
>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

--
Jiri Kuthan            http://iptel.org/~jiri

References:
- Specification verification tools
  - From: Henning G. Schulzrinne

Prev by Date: RE: Last Call: Remote Network Monitoring Management Information Base for High Capacity Networks to Proposed Standard
Next by Date: Re: Exception to "MUST NOT"
Previous by thread: RE: Specification verification tools
Next by thread: Re: Specification verification tools
Index(es):
- Date
- Thread

Note Well: Messages sent to this mailing list are the opinions of the senders and do not imply endorsement by the IETF.

Re: Specification verification tools

Note: Messages sent to this list are the opinions of the senders and do not imply endorsement by the IETF.