MCRL2 PGP model

 Posted on September 23, 2019  |  monti

MCRL2 PGP protocol model

A formalisation for the PGP protocol has been written as an MCRL2 model by Wytse Oortwijn from the VerCors team. You can find it here.

general  formal model  MCRL2