Network Protocol Verification Using Linear Temporal Logic - Printable Version +- Free Academic Seminars And Projects Reports (https://easyreport.in) +-- Forum: Project Ideas And Disscussion (https://easyreport.in/forumdisplay.php?fid=32) +--- Forum: Engineering Project Ideas (https://easyreport.in/forumdisplay.php?fid=33) +---- Forum: Computer Science Project Ideas (https://easyreport.in/forumdisplay.php?fid=36) +---- Thread: Network Protocol Verification Using Linear Temporal Logic (/showthread.php?tid=59015) |
Network Protocol Verification Using Linear Temporal Logic - ravikhatri - 10-04-2017 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 [attachment=442] [attachment=445] |