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	Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
Author	Nilimesh Halder, A.B.M Tariqul Islam, Ju Bin Song
Citation	Vol. 7  No. 7  pp. 63-71
Keywords	Formal Verification, Symbolic Model Verifier, Remote Procedure Call, Request protocol, Request Reply protocol, Request Reply Acknowledgement protocol

Title	Combining Software Methods for Effective Deployment of Programmable Logic Controllers (PLCs)
Author	Lucien Ngalamou, Leary Myers
Citation	Vol. 10  No. 12  pp. 134-146
Keywords	Automatic Resource Allocation, XML Model, Programmable Logic Controllers (PLCs), PLC Database, XML to SMV Translation, Formal Verification

Title	Process Calculus and Horn Clauses-Based Deduction in the Verification of Security Protocols
Author	Nguyen Truong Thang, Khuat Thanh Son
Citation	Vol. 20  No. 5  pp. 11-17
Keywords	Undecidability, security protocols, process calculus, Horn clauses, formal verification.