SIKORA LINDA M

Automatically verifying logic of protocol messages exchanged between devices during a communication session