J. Hooman. Verifying part of the ACCESS bus protocol using PVS. In P.S. Thiagarajan, editor, 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, LNCS 1026, pages 96-110, Springer-Verlag, 1995.  Home/Search   Document Details and Download   Summary   Related Articles

....[83] In [80] the steam boiler was checked by Vitt and Hooman also using PVS. The last author also verified a processor group membership protocol and the binary exponential backoff protocol [44, 45] and a safety property, together with a real time progress property of the ACCESS bus protocol in [43]. Also the biphase mark protocol, similar to the protocol in [12] was proved by Moore in [62] As an interesting benchmark problem for specification and verification, the interactive convergence clock synchronization algorithm [51] has been mechanically checked respectively with the Boyer Moore ....

J. Hooman. Verifying part of the ACCESS bus protocol using PVS. In P.S. Thiagarajan, editor, 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, LNCS 1026, pages 96-110, Springer-Verlag, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC