Correctness of Communications Protocols, A case Study
During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation.
| Main Authors: | , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149754 |
| _version_ | 1826212175806464000 |
|---|---|
| author | Søgaard-Andersen, Jørgen Lynch, Nancy A. Lampson, Butler W. |
| author_facet | Søgaard-Andersen, Jørgen Lynch, Nancy A. Lampson, Butler W. |
| author_sort | Søgaard-Andersen, Jørgen |
| collection | MIT |
| description | During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation. |
| first_indexed | 2024-09-23T15:17:32Z |
| id | mit-1721.1/149754 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:17:32Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1497542023-03-30T03:15:28Z Correctness of Communications Protocols, A case Study Søgaard-Andersen, Jørgen Lynch, Nancy A. Lampson, Butler W. During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation. 2023-03-29T15:21:04Z 2023-03-29T15:21:04Z 1993-11 https://hdl.handle.net/1721.1/149754 MIT-LCS-TR-589 application/pdf |
| spellingShingle | Søgaard-Andersen, Jørgen Lynch, Nancy A. Lampson, Butler W. Correctness of Communications Protocols, A case Study |
| title | Correctness of Communications Protocols, A case Study |
| title_full | Correctness of Communications Protocols, A case Study |
| title_fullStr | Correctness of Communications Protocols, A case Study |
| title_full_unstemmed | Correctness of Communications Protocols, A case Study |
| title_short | Correctness of Communications Protocols, A case Study |
| title_sort | correctness of communications protocols a case study |
| url | https://hdl.handle.net/1721.1/149754 |
| work_keys_str_mv | AT søgaardandersenjørgen correctnessofcommunicationsprotocolsacasestudy AT lynchnancya correctnessofcommunicationsprotocolsacasestudy AT lampsonbutlerw correctnessofcommunicationsprotocolsacasestudy |