TY  - RPRT
TI  - PFMC: a parallel symbolic model checker for security protocol verification
AU  - Alex James
AU  - Alwen Tiu
AU  - Nisansala Yatapanage
PY  - 2022
UR  - https://arxiv.org/abs/2207.09895
ID  - 2207.09895
ER  -