Skip to main content

Challenges, Opportunities, and Directions for Formal Analysis in the IETF and IRTF

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)
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:


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 Source for this draft and an issue tracker can be found at


Christopher A. Wood

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