H O M E
N E W S
F A C U L T Y
S T U D E N T S
P U B L I C A T I O N S
T O O L B O X E S
C O U R S E S
L I N K S
[
L I B R A R Y
]
Protocol
Protocol Example: Verification Using Discrete-Event Systems
In this example, we examine the model of a system used for transmission of data over an unreliable communication channel, and demonstrate a method to systemcatically check whether the protocol satisfies the required safety property.
Back to Library
University of Michigan, Department of Electrical Engineering and Computer Science
1301 Beal Avenue, Ann Arbor, Michigan 48109-2122
