By the same authors

New Opportunities for Integrated Formal Methods

Research output: Working paper

Standard

New Opportunities for Integrated Formal Methods. / Gleirscher, Mario; Foster, Simon; Woodcock, Jim.

2018. (arXiv).

Research output: Working paper

Harvard

Gleirscher, M, Foster, S & Woodcock, J 2018 'New Opportunities for Integrated Formal Methods' arXiv.

APA

Gleirscher, M., Foster, S., & Woodcock, J. (2018). New Opportunities for Integrated Formal Methods. (arXiv).

Vancouver

Gleirscher M, Foster S, Woodcock J. New Opportunities for Integrated Formal Methods. 2018 Dec 25. (arXiv).

Author

Gleirscher, Mario ; Foster, Simon ; Woodcock, Jim. / New Opportunities for Integrated Formal Methods. 2018. (arXiv).

Bibtex - Download

@techreport{25a6aa42ca48411c9dc8aeae88ec14ce,
title = "New Opportunities for Integrated Formal Methods",
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 their adoption to be mitigated. 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.",
keywords = "cs.SE, cs.CY, cs.RO",
author = "Mario Gleirscher and Simon Foster and Jim Woodcock",
note = "Accepted subject to minor revisions for ACM Computing Surveys",
year = "2018",
month = "12",
day = "25",
language = "English",
series = "arXiv",
type = "WorkingPaper",

}

RIS (suitable for import to EndNote) - Download

TY - UNPB

T1 - New Opportunities for Integrated Formal Methods

AU - Gleirscher, Mario

AU - Foster, Simon

AU - Woodcock, Jim

N1 - Accepted subject to minor revisions for ACM Computing Surveys

PY - 2018/12/25

Y1 - 2018/12/25

N2 - 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 their adoption to be mitigated. 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.

AB - 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 their adoption to be mitigated. 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.

KW - cs.SE

KW - cs.CY

KW - cs.RO

M3 - Working paper

T3 - arXiv

BT - New Opportunities for Integrated Formal Methods

ER -