Title	Verification of FSM using Attributes Definition of NPCs Models
Author	Chong-Han Kim, Seung-Moon Jeong, Gi-Taek Hur, Byung-Gi Kim
Citation	Vol. 6  No. 7  pp. 168-174
Keywords	NPC, FSM, Model Checking, Virtual Ocean

Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages

Title	Instructional Scaffolding for ASIP Design Education with System Verilog Assertion considering Situated Nature of Learning
Author	Ryuichi TAKAHASHI, Yoshiyasu TAKEFUJI
Citation	Vol. 16  No. 10  pp. 116-121
Keywords	ASIP, SVA, model checking, design verification, LPP

Title	Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video
Author	Muhammad Atif, Nadia Mushtaq, M. Sohaib Mahmood, Muhammad Naeem, Amjad Riaz
Citation	Vol. 18  No. 3  pp. 110-118
Keywords	Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions.