Z. Luo, R. Pollack, and P. Taylor. How to use LEGO. Technical Report LFCSTN -27, University of Edinburgh, Edinburgh, Scotland, Oct. 1989. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Proof-Checking a Data Link Protocol - Helmink, Sellink, Vaandrager (1993) (52 citations) (Correct)
....process algebra or the I O automata model appears to be a matter of taste, and in order to evaluate the relative merits of both approaches we will have to consider more and bigger examples. Martin Hofmann [14] in Edinburgh has checked a verification of the Alternating Bit Protocol with LEGO [18]. His verification is based on a functional approach and uses stream transformers. All of the above researchers arrive at approximately the same conclusion: mechanically checking of protocol verifications is feasible and highly promising, but the current proof checkers are not optimal: we need ....
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO. Technical Report LFCSTN -27, University of Edinburgh, Edinburgh, Scotland, Oct. 1989.
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