-- ------------------------------------------------------------------------------
--
--  Murphi Model of the ZRTP protocol
--  By Jeremy Robin and Andrew Schwartz
-- ------------------------------------------------------------------------------


-- ------------------------------------------------------------------------------
-- constants, types and variables
-- ------------------------------------------------------------------------------


-- ------------------------------------------------------------------------------
const
  NumInitiators:   1;   -- number of initiators
  NumResponders:   1;   -- number of responders
  NumIntruders:    1;   -- number of intruders
  NetworkSize:     1;   -- max. number of outstanding messages in network
  MaxKnowledge:   10;   -- max. number of messages intruder can remember
