J. Romijn, "A timed verification of the IEEE 1394 leader election protocol," Formal Methods in System Design, vol. 19, no. 2, pp. 165-- 194, 2001, special issue on FIMACS`99.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....terminate. The size of the network decreases as the protocol progresses. This is an important observation and will be discussed further in section V. III. FORMAL APPROACHES TO VERIFYING THE TIP The TIP has been specified via a variety of different formalisms, e.g. E LOTOS [8] I O automata [9] [10] and #CTL [11] For a summary of specification only approaches see [12] Verification of the TIP for fixed confugurations of processes has been achieved via model checking (using SPIN P 3 1 A 1 2 3 4 5 P P C P C 03 0 1 2 3 1 P A A 1 2 P 0 C 1 1 2 4 0 30 2 3 P C P A 0 1 ....

J. Romijn, "A timed verification of the IEEE 1394 leader election protocol," Formal Methods in System Design, vol. 19, no. 2, pp. 165-- 194, 2001, special issue on FIMACS`99.

....terminate. The size of the network decreases as the protocol progresses. This is an important observation and will be discussed further in section V. III. FORMAL APPROACHES TO VERIFYING THE TIP The TIP has been specified via a variety of different formalisms, e.g. E LOTOS [8] I O automata [9] [10] and CTL [11] For a summary of specification only approaches see [12] Verification of the TIP for fixed confugurations of processes has been achieved via model checking (using SPIN P 3 1 A 1 2 3 4 5 P P C P C 1 2 3 1 P A A 1 2 P 0 C 1 1 2 4 0 3 0 2 3 P C P A 0 1 2 5 ....

J. Romijn, "A timed verification of the IEEE 1394 leader election protocol," Formal Methods in System Design, vol. 19, no. 2, pp. 165-- 194, 2001, special issue on FIMACS`99.

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