@techreport{analysis-challenges-00,
    number =    {draft-analysis-challenges-00},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-analysis-challenges/00/},
    author =    {Christopher A. Wood},
    title =     {{Challenges, Opportunities, and Directions for Formal Analysis in the IETF and IRTF}},
    pagetotal = 11,
    year =      2023,
    month =     mar,
    day =       13,
    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.},
}