Can I read Heterogeneous Protocol System Verification on EtoBox?
Heterogeneous Protocol System Verification by Nelson Gnanaraj is a document available to read on EtoBox.
What is Heterogeneous Protocol System Verification about?
1) The document discusses verification of progress properties in heterogeneous protocol systems consisting of incompatible peer processes communicating via a protocol converter. 2) It presents a formal reachability analysis procedure to verify the design of the converter and proper progress of the heterogeneous protocol. 3) This involves modeling the protocol processes and converter as communicating finite state machines and constructing a reduced reachability graph to verify the system in a more effici
- Author
- Nelson Gnanaraj
- Language
- EN