NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Formal Analysis of Network Configuration Protocols: An Overview We present an overview of the analysis of a generic network configuration protocol.
Document ID
20250007257
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Alwyn E Goodloe (Langley Research Center Hampton, United States)
George Hagen (Langley Research Center Hampton, United States)
Brendan Luksik (Johnson Space Center Houston, United States)
Date Acquired
July 21, 2025
Subject Category
Computer Programming and Software
Meeting Information
Meeting: Dependable Systems and Failure Tolerance Workshop
Location: Los Angles, CA
Country: US
Start Date: July 29, 2025
Sponsors: IEEE Computer Society
Funding Number(s)
WBS: 651937.06.03.23
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Keywords
Network Configuration Protocol
formal methods

Related Records

There are no records associated with this record.
No Preview Available