FM Past Program: Asynchronous Communication

This page is not maintained. It is probably out of date.

CLI developed a formal model of asynchronous communication and demonstrated its utility by formally verifying a widely used protocol for asynchronous communication called the bi-phase mark protocol, also known as ``FM'' or ``single density''. It is one of several protocols implemented by microcontrollers such as the Intel 82530 and is used in the Intel 82C501AD Ethernet Serial Interface.

Curator and Responsible NASA Official: C. Michael Holloway
last modified: 22 February 1996 (13:01:17)