The Development and Deployment of Formal Methods in the UK

DOI10.1145/3522577zbMath1522.68009arXiv2006.06327OpenAlexW3035586298MaRDI QIDQ6136742

Cliff B. Jones, Unnamed Author

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/2006.06327

zbMATH Keywords

ZCSPCCSVDMindustrial use of formal methods

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)

This page was built for publication: The Development and Deployment of Formal Methods in the UK