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 |
Demos and tutorials >