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.