The Development and Deployment of Formal Methods in the UK
From MaRDI portal
Publication:6136742
DOI10.1145/3522577zbMATH Open1522.68009arXiv2006.06327OpenAlexW3035586298MaRDI QIDQ6136742FDOQ6136742
Authors: Cliff B. Jones 
Publication date: 31 August 2023
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Abstract: UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both have tracked a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long-term impact.
Full work available at URL: https://arxiv.org/abs/2006.06327
Recommendations
History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (1)
This page was built for publication: The Development and Deployment of Formal Methods in the UK
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136742)
