ModelPlex: Protocol state machine verification prototype

Post date: Apr 7, 2011 1:16:17 PM

Description: This screen cast demonstrates basics of the Protocol State Machine verification approach applied to the Telefonica case study - configuration management of the multiple networking devices.

Objecteering CASE Tool is used for editing and verification of protocol state machines.

Run demo