Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.

Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

Browse the full GI paper archive.