A Survey of Practical Formal Methods for Security

DOI10.1145/3522582zbMath1522.68089arXiv2109.01362OpenAlexW3196878016WikidataQ131120909 ScholiaQ131120909MaRDI QIDQ6177470

J. C. P. Woodcock, Hugo Daniel Macedo, Unnamed Author, S. A. Schneider, Unnamed Author, Brijesh Dongol, Peter Gorm Larsen

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2109.01362

zbMATH Keywords

theorem provingmodel checkingformal methodscyber security

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A Survey of Practical Formal Methods for Security