New opportunities for integrated formal methods
The work
| Authors | Mario Gleirscher; Simon Foster; Jim Woodcock |
|---|---|
| Editors | |
| Type | article |
| Year | 2019 |
| Citekey | gleirscher2019opportunities |
Where it appeared
| Published in | ACM Computing Surveys (CSUR) |
|---|---|
| Volume | 52 |
| Issue | 6 |
| Pages | 117:1--117:36 |
Identifiers
| DOI | 10.1145/3357231 |
|---|
Related
| Distinct from | barthe2020probabilistic |
|---|---|
| Distinct from | beek2024formal |
| Distinct from | cerone2021rooting |
| Distinct from | colburn1993program |
| Distinct from | gleirscher2020formal |
| Distinct from | hall2005realising |
| Distinct from | haxthausen2010introduction |
| Distinct from | hoare1996how |
| Distinct from | huisman2020industrial |
| Distinct from | ohearn2020incorrectness |
| Distinct from | rosenblum1996formal |
| Distinct from | wiels2012formal |
| Distinct from | woodcock2009formal |
Abstract
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses of formal methods. From the perspective of the assurance of robots and autonomous systems (RAS), we highlight new opportunities for integrated formal methods and identify threats to the adoption of such methods. Based on these opportunities and threats, we develop an agenda for fundamental and empirical research on integrated formal methods and for successful transfer of validated research to RAS assurance. Furthermore, we outline our expectations on useful outcomes of such an agenda.
A copy is held
pdf, 628.3 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-26 09:45 UTC |
Filed under
Cite it as
@article{gleirscher2019opportunities,
title = {New opportunities for integrated formal methods},
author = {Mario Gleirscher and Simon Foster and Jim Woodcock},
year = {2019},
journal = {ACM Computing Surveys (CSUR)},
volume = {52},
number = {6},
pages = {117:1--117:36},
doi = {10.1145/3357231},
}
This record lives at https://refs.drheap.org/gleirscher2019opportunities/ and will keep doing so.