The development and deployment of formal methods in the UK
The work
| Authors | Cliff B. Jones; Martyn Thomas |
|---|---|
| Editors | |
| Type | preprint |
| Year | 2020 |
| Citekey | jones2020development |
Identifiers
| arXiv | 2006.06327 from its doi |
|---|---|
| DOI | 10.48550/arxiv.2006.06327 |
Access
| Landing page | https://arxiv.org/abs/2006.06327 |
|---|---|
| Free full text | https://arxiv.org/pdf/2006.06327 |
From arxiv.
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.
How it got here
| How it got here | agent via arxiv |
|---|---|
| Added | 2026-10-24 18:31 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@unpublished{jones2020development,
title = {The development and deployment of formal methods in the UK},
author = {Cliff B. Jones and Martyn Thomas},
year = {2020},
doi = {10.48550/arxiv.2006.06327},
}
This record lives at https://refs.drheap.org/jones2020development/ and will keep doing so.