To search, Click below search items.

 

All Published Papers Search Service

Results for Symbolic Model Verifier; Total 1

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

[1]