URI Specification Community Group
closed on 2019-08-13
The URI Specification Community Group endeavors to produce a set of coherent, maintainable artifacts for use by implementors, developers, authors, and everyday users. We will achieve this by creating a formal specification of the ad hoc URI/URL standard described by RFC 3986/3987 and the WHATWG URL Living Standard.
The deliverable is a single formal specification source document in Lem (http://www.cl.cam.ac.uk/~pes20/lem/) from which a typical standards document can be generated as well as a set of theorems over the concepts described and an executable test oracle for each specified function. Depending on community support and development of test generation tools, a test suite with proven specification coverage may also be delivered. If you think URI should work predictably and correctly and be able to be understood clearly, please join this group and give us your perspective!
- Mailing List