ModelPlex: Protocol state machine verification prototype

posted Apr 7, 2011, 6:16 AM by Andrey Sadovykh   [ updated Apr 8, 2011, 2:46 AM ]
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