Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking.

Vivek G. Naik, A. Prasad Sistla

Browse the full CAV paper archive.