Skip to main content

Challenges, Opportunities, and Directions for Formal Analysis in the IETF and IRTF
draft-analysis-challenges-00

Document Type Expired Internet-Draft (individual)
Expired & archived
Author Christopher A. Wood
Last updated 2023-09-14 (Latest revision 2023-03-13)
RFC stream (None)
Intended RFC status (None)
Formats
Stream Stream state (No stream defined)
Consensus boilerplate Unknown
RFC Editor Note (None)
IESG IESG state Expired
Telechat date (None)
Responsible AD (None)
Send notices to (None)

This Internet-Draft is no longer active. A copy of the expired Internet-Draft is available in these formats:

Abstract

This document discusses challenges, opportunities, and directions for formal analysis of protocols developed in the IETF. About This Document This note is to be removed before publishing as an RFC. Status information for this document may be found at https://datatracker.ietf.org/doc/draft-analysis-challenges/. Source for this draft and an issue tracker can be found at https://github.com/chris-wood/draft-analysis-challenges.

Authors

Christopher A. Wood

(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)