Shankland, C.: The Tree Identify Protocol of IEEE 1394. In: Groote, J.F., Luttik, B., van Wamel, J. (eds.), Proceedings of the 3rd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (Amsterdam, The Netherlands), pp. 299-- 319, 1998.  Home/Search   Document Details and Download   Summary   Related Articles

....elimination can be done automatically [5, 9] and generally yields a compact result, of the same size as the original system description. For proving equations of the form specification=implementation, a proof methodology has been developed [14] and has been applied to numerous examples (see e.g. [4, 8, 11, 20]) that all have infinite or unbounded state spaces. An obvious question that has not been addressed thus far is whether the linear process format can also be employed in proving temporal logic formulas. In this paper we provide a way of doing so that roughly goes as follows. First, we extend the ....

Shankland, C.: The Tree Identify Protocol of IEEE 1394. In: Groote, J.F., Luttik, B., van Wamel, J. (eds.), Proceedings of the 3rd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (Amsterdam, The Netherlands), pp. 299-- 319, 1998.

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