TY  - RPRT
TI  - A Survey of Practical Formal Methods for Security
AU  - Tomas Kulik
AU  - Brijesh Dongol
AU  - Peter Gorm Larsen
AU  - Hugo Daniel Macedo
AU  - Steve Schneider
AU  - Peter Würtz Vinther Tran-Jørgensen
AU  - Jim Woodcock
PY  - 2021
UR  - https://arxiv.org/abs/2109.01362
ID  - 2109.01362
ER  -