Subject: [xml2rfc] draft-petithuguenin-computerate-specifying-00.txt

From: Marc Petit-Huguenin <[email-masked]>
Date: Mon, 28 Oct 2019 15:22:44 -0700

Hi,

Please let me know if there is a better place to discuss that draft.

This is basically a layer around AsciiRFC that can be used to write proofs about various properties of communication protocols.  At a minimum it is useful to ensure that examples in I-Ds/RFCs match the specification, but it can do much more than that.  Tooling and examples can be downloaded, as explained in the Appendices.

Review, comments, questions and testing experiences are welcome.

Thanks.

-------- Forwarded Message --------
Subject: I-D Action: draft-petithuguenin-computerate-specifying-00.txt
Date: Mon, 28 Oct 2019 15:00:20 -0700
From: [email-masked]
Reply-To: [email-masked]
To: [email-masked]

A New Internet-Draft is available from the on-line Internet-Drafts directories.

        Title           : The Computerate Specifying Paradigm
        Author          : Marc Petit-Huguenin
	Filename        : draft-petithuguenin-computerate-specifying-00.txt
	Pages           : 29
	Date            : 2019-10-28

Abstract:
   This document specifies a paradigm named Computerate Specifying,
   designed to simultaneously document and formally specify
   communication protocols.  This paradigm can be applied to any
   document produced by any Standard Developing Organization (SDO), but
   this document targets specifically documents produced by the IETF.

The IETF datatracker status page for this draft is:
https://datatracker.ietf.org/doc/draft-petithuguenin-computerate-specifying/

There are also htmlized versions available at:
https://tools.ietf.org/html/draft-petithuguenin-computerate-specifying-00
https://datatracker.ietf.org/doc/html/draft-petithuguenin-computerate-specifying-00

Please note that it may take a couple of minutes from the time of submission
until the htmlized version and diff are available at tools.ietf.org.

Internet-Drafts are also available by anonymous FTP at:
ftp://ftp.ietf.org/internet-drafts/

-- 
Marc Petit-Huguenin
Email: [email-masked]
Blog: https://marc.petit-huguenin.org
Profile: https://www.linkedin.com/in/petithug