25-08-2017, 09:32 PM
Communication protocols belong to the broad class of d lscrete-event
systems. Other examples of these systems are flexible manufacturing systems,
process control systems, office information systems and VLSI circuits. The
behaviour of all of these systems can be characterized by starting and
ending times,these systems inherently involve the
consideration of the notions of concurrency, nondeterminism, time and
Therefore the formal description technique (FDT) used to the
description of a discrete-event system should be able to express these
notions
Network Protocol Verification Using Linear Temporal Logic.pdf (Size: 343.14 KB / Downloads: 107)
Network Protocol Verification Using Linear Temporal Logic.sxi.pdf.txt (Size: 95.71 KB / Downloads: 40)